I wouldn't worry about HDMI 1.3 at this point, you should be able to get the HD sound from the PS3 through HDMI 1.1 as long as the receiver is compatible with LPCM through its HDMI.

A computer once beat me at chess, but it was no match for me at kick boxing.