Yes - sources (blu ray, player, ROKU stick) via HDMI to receiver and via HDMI to TV.
So I'm clear about what I'm experiencing, in order to measure it, I have turned up the TV speaker to get the sound coming from the amp via HDMI at the same time as the AV speakers (which of course are being...