I just grabbed a used PS3 but realize it won't decode the HD Audio codecs.
The PS3 does decode HD Audio. You have to connect to a receiver that will support PCM through HDMI. The same goes with the Toshiba HD DVD players. I use my Denon 4806 that I believe only has HDMI 1.1 but supports PCM through HDMI. So I get the HD sound formats.
A computer once beat me at chess, but it was no match for me at kick boxing.