Yo iria por un Denon ya que son los que he usado, me compre nuevo el Denon 1400 y luego tuve la suerte de adquirir aqui en el foro el que tengo actualmente por 600€ y habiendo vendido el mio asi que fue poner 200€ y ya lo tenia, esas son las oportunidades que tienes que esperar, yo actualmente tengo una configuración de 7.2.2, aunque he tenido con otro AVR la 7.2.4, dependiendo de como lo coloques con 2 Atmos veras que vas sobrado, pero eso ya es cuestión de cada uno, yo la verdad nunca me he planteado gastarme 1000€ en un AVR o mas, la verdad tuve mucha suerte de encontrarlo por ese precio y estoy mas que encantado de como suena.