PC > AVR > TV, vía HDMI, como tu lo has dicho.