En la ps3 hay dos formatos de salida de sonido, creo recordar que pcm por un lado y bitstream por otro... algunos amplis dan fallos con el bitstream... miratelo por si acaso...
No es por preocuparte pero yo tengo un onkyo 674 y me han cambiado la placa hdmi ya dos veces...

maldita estufa...