Like they said above, you have to use the PS3 to decode and send it as linear PCM. It will show up as multi-channel on the AVR display. Hit the display of the PS3 and it will show you that it is DTS-MA or DD-HD.
This bugged me too so I changed the DVD input name to "BLU-RAY" to make myself feel better.