Marantz has good remotes but if you're going to go RF dont use the RF module that comes with the Marantz , buy it seperately , it will work fine if 15' is the farthest distance but its not one of the best out there . Remember to try and keep the RF module as far away from power and any components as possible as you will get much better results .
ps the 9200 used to come with the RF module , not sure about the new 9500 . The Marantz web-site shows it as optional .
Good Luck !