Esh....I have recently bought a used 9000Pro and find it very good. I am playing it through Studio Monitors in my music room at home and the voicing is very good indeed. ( I still have the Roland EM2000 also).
The 9000Pro is ready available here in the UK and there does not appear to be a lack production. There appears to be a dislike for 76 key boards in the USA because the Roland VA76 is only recently become available, but has been selling in good numbers in the UK for over a year.

Graham UK