Hola, justo ahora que he visto tu respuesta, estaba en la web de ayuda de PS3 mirando esto mismo

Como muy bien indicas, es un tema de configuración de la PS3 pero en vez de en los ajustes de salida de audio donde yo buscaba (lo tenía todo activado), de los ajustes de BD/DVD. Estaba en PCM...

Lo que más me despistó durante las pruebas es que archivos almacenados en el HDD de la PS3 en DD 5.1 tb los sacaba en PCM. No lo asociaba en ningún momento a configuración de BD/DVD. Supongo que los archivos locales los decodifica a PCM partiendo de la configuración de los ajustes en BD/DVD.

Sinceramente, hasta ahora desconocía esta opción de configuración del HDMI en la sección BD/DVD, pues mi receptor es de los antiguos y siempre he sacado el audio por óptica digital.

¡Siempre se aprende algo! No lo olvidaré para cuando cambie el mío. Mañana lo verificaré en vivo con el VSX-824.

Muchas gracias por tu respuesta y por las fotos.

Saludos.