Well, something weird happened. The receiver was on, but the picture was black. I turned it off and back on, still black. I did a reset by holding the receiver power switch, and later it worked. And the DVR back button, pause, and record now work. I don't know if they released a faulty...