Sí Kyle, la información que estás viendo en el display del Denon es la correcta. Como bien sabes, la PS3 Fat sólo puede mandar los sonidos HD por PCM (sonido puro), por lo tanto, no verás en el display ningún tipo de formato diferente (DTS HD, D True HD..). Sin embargo, si quieres hacer la prueba para comprobar otros formatos que descodifique el Denon, puedes poner un DVD que tenga formato de "simple" DTS, configura la PS3 para que saque el sonido por Bitstream y verás como aparece en el display de tu amplificador.

Pd: Enhorabuena por el amplificador, es un estupendo aparato.