@jsmithepa: With the PC plugged into HDMI2 (it's the DVI port, which seems to be recommended for PCs), and the Receiver into HDMI4, we get the PC sounds on the Receiver (assuming of course we tell the PC to output sound to the HDMI connection, not the PCs own speakers). That's all working fine...