tell him to check the pins on his cable and the ports on both ends. Many people damage the small pins by not being careful enough when connecting and disconnecting HDMI cables. It's also entirely possible that he got a bum receiver from dish. I have not heard of any hardware or software problems with the HDMI ports specific to the 612s yet.