I have the 9500 and 9000 and if the new pro is the same size it is big and bulky.
The old versions do an excellent job of printing, provided you use the right paper and work out a few bugs. I would recommend them

The 9500 is an ink system, where the 9000 is a dye system. The 9000 does excellent glossy work, where the 9500 ink based system does excellent with matt's and art type work.
The new Pro is a 12 ink system; I would think it would be a replacement to the 9500. The 9500 does not print glossy nearly as well as the 9000.

The old systems print quality was excellent. But I would probably not buy the new Pro for glossy work based on how the 9500 performs.

I wouldn't gamble $1000 on the new system to find out it is just a replacement to the 9500. A cheaper option is to find someone who got the 9000 or 9500 as part of a rebate, usually you can pick the printer up cheap.