I played the PA1X and Tyros. Sounds are good in both. Tyros have ease of use, nice display, lowest weight, quick operation, no speakers, better O.S. and the best support on the net... But Korg have better styles (in my opinion), standard key size (Yamaha have smaller key size), better key feel, better built and it don not like a toy.
It is a matter of what of that do you give more importance in your decision. Because of that, it is dificult to suggest a buy. It is your decision. Try all the three for yourself.
And PSR3000 is not a bad decision for the money you pay for, of course.