Whats the coax connected to?The tv audio out? The last i checked the ps3 has an optical audio out.Dolby 5.1 does not pass thru the hdmi in pcm format.Just connect an optical between the ps3 and receiver and be done with it.Dont forget to turn on the optical out in the ps3 menu.