If I have a PS3, am I right in thinking that it will decode the Dolby TrueHD and pass it over HDMI as LPCM to my receiver? And it should sound the same as if the receiver was decoding it rather than the PS3, even if the receiver itself can't decode Dolby TrueHD that I'll still be getting the same sound just PCM through HDMI?