I have a few items for the 9000pro that may interest you ...
1) Toshiba Hard Drive (smallish - I think it's 12 GB ... I'll verify if interested)
2) DX7 plug in card - yup, a DX on a PCB!
3) XG expansion card - this fees up polyphony when using the sequencer and playing live voices simultaneously. Also, have a padded, soft case for it ...
$400 for al 4 pieces! Some ebay listers have the DX up for $500 alone!

All tested and 100% functional!