I've got 2 7200's and had to replace a remote recently. Well they sent me the crappy blue-button remote with no native PVR buttons (I really liked the one-button record!). Now I forgot how to operate the PVR functions with this remote as I try to use the old one when I can. Even Dish tech support couldn't find anything in their system on the new blue remote! Anyone know how to operate this thing!!!