Does the Hopper3 have a native 4K device output (via the HDMI), or do I need a 4K Joey? DirecTV DVR 'main unit' does not have 4K as native direct-connect output, and requires a 4K wired receiver box. Not a prime solution for what I wish to do. Thanks in advance.

I want to keep my DirecTV music on through my Yamaha Receiver. I just purchased the receiver (Yamaha RX-A760) on Thursday. When I shut off the TV with the receiver on, within 30 seconds the sound goes off. To get it to work, I have to unplug the HDMI from the DirecTV box and the music stays on...