I just tried to change the (automatic) audio settings to HDMI again on the PS3, and it gives me a message saying "This HDMI device cannot be used for audio output.". When I go back and try to change the settings manually, the PS3 does accept that. Then when I reassign the audio in my receiver's menu, I don't get any sound output. Hmm.....I'm thinking the tv's DVI connection for some reason is preventing the audio signal still?...
And yes, I'm trying to get the sound to come out of my 5.1 setup, not the tv's speakers.