Jodasi go for the VA 76.
Its the best keyboard I ever played.
Tons of sounds, good styles, very easy to use sequencer and very versatile, you can play any kind of music with it. Has 76 semi-waighted keys that feels great. The Yamaha 9000 has cheep keys and so the PA80(only 61k). If you are looking for a great studio keyboard go for the VA76, seams though that for live use the touch screen is a cons while for studio use the touch screen makes everything easyier. Good luck,

Maximo