La PS3 descodifica el audio y lo envia al AVR por el HDMI, este tiene que captar sonido por hdmi porque solo se puede enviar desde la PS3 por ahi. No sale el HDaudio descodificado mas que por hdmi, pero sale, asi que no hace falta que el AVR descodifique