I have a Marantz RC5000 (basically the same as the Pronto). It's been great, but more hard buttons and faster operation would be nice. The new 5200 and 9200 look terrific (more hard buttons, bigger usable display etc.) but does anyone here have one and if so, what do you think? The 9200 is probably outside of what I'm willing to pay though but it seems like the 5200 is the same thing with monochrome display instead of color, and doesn't do RF).