If you're running from the PS3, can you run the audio from the PS3 directly to the receiver?
It's HDMI.
I could buy the PS3 HiDef RCA's and run it to the receiver, but that doesn't resolve the issue of the audio via the OTA antenna if I want to watch a Broncos game or a tv show.