mtlmike,

The PS3 outputs HD formats as pcm so your receiver needs to be able to receive multichannel pcm through HDMI, and I'm assuming that if your receiver is recent enough to have HD format decoding capability then it should be able to receive pcm as well (big assumption...).

What model do you have?