Korg Havian was on my list too but no midi, no line in and headphones on the back was the deal breaker.
That's exactly what I found out myself. Korg must have meant this keyboard for home use only. When you have only a shared headphone/stereo line out, how does it work and sound when feeding mono into the mixer/speaker?
Casio is pretty generous with all kind of connectors. The PX5s and PX560 have two sets for audio in; 1/4 and 1/8 stereo. Pretty handy when connecting another instrument/module and notebooks/tablets.
Chris