I just had my HD DVR installed last night. I was basically replacing an SD Tivo, so it was trivial to do. I am connecting this to my Samsung LCD TV via HDMI. I'm having one odd problem - the audio on the off-air and HD channels (channels in the 70's) doesn't work. All other channels are fine. I was on the phone with tech support last night, and they couldn't figure it out, and are sending me a new box. Has anyone else ever had a problem like this?