The house I just bought happened to include a 7200 dishplayer, which I finally hooked up today (trying it out to see if I like it better than my 301). It seems to work fine, but unfortunately labels on the buttons on the 7200 remote are ALL worn off, so it's kind of a guessing game on using the...