Nein! Wozu brauchst du diesen AVR?1. Wird der AV Receiver der richtige sein??
Deine PS3 kann den HD Ton sowieso nur intern codieren und schickt es als PCM Stream rausschicken.
Dafür brauchst du nur ein HDMI Receiver der Multichannel PCM in den gewöhnlichen Bandbreiten unterstützt.
Wenn du den Receiver voll nutzen möchtest brauchst du einen anderen Zuspieler,eventuell der neue angekündigte Denon?
Wenn du die PS3 behalten willst würde ich eher zum Marantz 9600 greifen der akzeptiert HDMI PCM von der PS3,und ist klanglich wahrscheinlich haushoch überlegen.
Obs nen Unterschied PCM / Bitstream gibt darüber gibt es genug Diskussion aufjedenfall macht bei mir der AVR die Sache besser als die PS3 die ich auch mal hatte.
Die neuen Denons sind eigentlich eine Mogelpackung diesemal geht die Gerätebaureihe bis 4810
Du bezahlst mehr bekommst aber eigentlich weniger zur Vorjahrsgeneration,dazu gibt es auch Threads in anderen Foren.
] 
