Having previously owned the 9000Pro. I have part-ex for a new PSR3000 for a good price. The 3K has turned out to be far better than I was expecting. The main thing I miss from the 9Kpro is it's excellent keybed, but the apart from this the 3K is a joy to use and very inspiring to play.The 3K inbuilt Speaker system also does a remarkable job.
I purchased a USB Sandisk 256mb Pen drive which loads style & registrations very fast.

A cautionary note regarding USB Pen Drives for the 3k. If you buy one and it does work as expected, Format the Pen Drive in the PC...to FAT (NOT Fat 32) The 3K does not accept USB formatted to FAT32.
I also purchased a 4 X Splitter which helps to save wear of plugging the USB in and out at the back of the 3K, but found that the 3K will only accept 2 X USB devices at a time. This is not a problem as I mainly connect the Sandisk USB Pen 256mb plus the supplied USB Floppy Drive.