Aunque el DENON 8500 te marque en las características un consumo de funcionamiento de 900 W, cuando se va a calcular un AVR para aguantar bien los embites,
mínimo se ha de multiplicar por dos.
El AVR que te ha recomendado el compañero tiene un máximo de 2300 W, vas bien aunque llámame exagerado (la más probable verdad es que realmente lo sea

), me gusta siempre multiplicar por 3 o por 4 para sobredimensionar ciertas instalaciones (por ejemplo, los vientos de una torreta de 360 para antenas directivas, la normativa marca 3 juegos de vientos. Pues bien, yo las instalo con 5 juegos triples de vientos).
Más vale un "por si acaso", que un "yo pensé"

.