No April Fools Joke here.
Don't know if you saw the post down the hall in the general arranger room, but the Casio Europe board speaks about a new WK3800, to be available around October. As an owner of Casio, and knowing the quality-to-dollar ratio that Casio builds into this line, its gotta be good news. I'm already budgeting for it.
Some details and pics are there. Casio WK3800