One thing to test before purchasing the Casio. Plug it into an amp at the store. You may notice a noise problem. I'm only speaking from experience with the Casio WK1800. I know it's a different board but , ya nevva know.
I bought the WK1800 a few years ago. For what I needed it for, it was great. Then one day I actually wanted to plug it into my amps and I got way too much noise. I was using at the time a Roland Juno, a kork poly 800 and a Roland JV1010. none of the more professional equiptment was producing any sort of noise. When I say noise I mean an annoying hum/fuzz. I couldn't live with it.
I eventually sold the Casio. I tried the outputs in the back as well as the headphone out jack. Nothing I tried would elliminate the noise.
Maybe this will not be a problem for you. Just sharing my experience. Best wishes.
Bob
<><