well you would be running the audio to the reciever via the HDMI. I take it that you are using either digital coax or toslink for audio then? As long as you dont want to do video switching with the reciever and have the OSD if it has one then there really is no advantage. a digital coax is much cheaper than a HDMI.

Haoleb's Audio/DIY Website