I use my Pentax XW10 in my C9.25 almost all the time.
Being an f10, the same as your 200R, I can confidently say you'd be very happy with that combo
For planets...DSO... even star testing (collimation). It does the lot.
When I want to go wider, there's the 13mm Nagler and then the 24Pan.
I'd agree with ausastronomer's (John B's) comments about the respective characteristics of Pentax and Naglers.
Bottom line... if you opt for one of these high end eps... you can't lose
rmcpb is also on the money. Get along to viewing night to check 'em out before you part with this sort of money. You may find that, being a slow scope like the 9.25, you can settle for slightly cheaper eyepieces which aren't pushed as hard as those in f5 or f6 scopes.