I'm finally upgrading to an av receiver with HDMI inputs. I've used the HDMI out on the vip 722 to my display for picture with no problems. 1.) Will the 722's HDMI port output a 5.1 audio signal to my new receiver? Also, I know -- unfortunately -- that the 722 doesn't have native resolution output. However, I thought you could go into the menu and decide whether to have it output at 720p or 1080i. I've looked through all the menu options and can't find that option. 2.) Is there such an option? If not, what resolution is output when the signal received is 720p and what's output when the signal is 1080i? 3.) Finally, do any of the new DISH DVR's have native resolution output? Thank you for your help.