These are all probably very good choices, but none of them have auto accomp ( that I know of anyway ).
I think the 9000 pro was semiweighted and while the action wasn't quite like a Clavinova or an acoustic piaon, it seemed to me to feel more substantial than most of the other 76 key synths I have tried.
AJ
_________________________
AJ