Although I play a PSR3000. Of the 3 you mentioned I would go for the Korg PA1XPro. Korg don't keep changing models every 2 years (Neither does Ketron) but Korg are continually adding new features with new OS Updates. The PA1 is also very well made and as you say does NOT look like a toy. You can happily get to know this board and it will serve you for years as a good work horse.