Bueno, 1.500 € para todo, te sale algo decente, pero tampoco para tirar cohetes
Aunque para comenzar, te sabrá a gloria.
Ambas cajas vas bien, es cuestión de que compres las que más te gusten, pues ambas son muy similares.
De AVR, quizás subiría al Denon X2300 ya que el salón en grande, o pasarte a Marantz y buscar algo por amazon.de que te entre en precio. El SR6011 rondará los 700 € y con ese, al menos por mi experiencia, no defraudará.