Yo de todos esos por relación calidad/precio me compraría el Marantz SR7011.
Con la diferencia de dinero con los Yamaha, más adelante contemplaría comprarme una etapa para descargar al AVR. Hay que tener en cuenta la configuración que piensas poner, 9 canales saliendo de un AVR auque sea bueno seguramente necesiten ayuda.