Que bajooooooón
Viene a decir que, en efecto, no procesa el audio por hdmi, que conectes, además, el audio por digital. O sea, que hagas justo lo contrario que te he dicho antes:
Del dvd al receptor, la imagen por hdmi y el audio por digital coaxial o toslink, según lo que tengas.
De la ps3 al receptor, la imagen por hdmi y el audio por digital al receptor por toslink (creo que la ps3 tiene toslink, no?)
Del teceptor a la tv por hdmi, pero que bajes el volumen de la tv para no oirlo duplicado.