Yeah, although the PS3 can output normal DD/DTS 5.1 bitstreams, it can't output Dolby TrueHD & DTS-HD Master Audio - instead it decodes them internally and outputs as LPCM. So if you want 7.1 HD audio from a PS3, you need a receiver which can take multi-channel LPCM over HDMI.