I'm thinking about buying a used Marantz SR7200 at a local pawn shop, but they don't have the remote; I haven't been able to find a replacement remote anywhere! Anyone with the SR7200, please give me the model number for the remote, and what you think of the receiver. THANKS!