The solution for this is HDMI Audio Return Channel. This feeds back audio from the TV to whatever the other end of the HDMI cable is connected to. This needs to be a device that supports ARC. There is a specific input on the TV that supports ARC - it is labelled. On the VT50 it's HDMI2. You'd then have to select ARC for the audio input on your receiver.
Failing that, muting the receiver is what you have to do.