Quote:
The player will decode the audio and send it to your receiver as PCM.

As long as the HD player will decode the audio HDMI 1.3 is not needed.HDMI 1.1 or 1.2 will do the trick.
Where HDMI 1.3 is needed on both devices is if the audio is not decoded by the HD player and is sent via bitsreem to the receiver.
This may be necessary for DTS HD when some of the players update to transfer DTS in bitsream only, so the receiver would need to be HDMI 1.3 compliant to decode the DTS HD signal.

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