Entre estas maquinisimas (siendo todas buenas), cual sería la mejor?

Voy a cambiar el AV, y quiero no meter la pata. Estoy contento con el SR7010 que tengo, pero quería subir un escalón, cual me recomendais?

Descarto Arcam y Anthem ya que no puedo biamplificar y perderia potencia.

Así que me quedan solo las opciones niponas, todas sobre 2.999 euracos pvp, aunque en algunas marcas hay descuentos de marca:

Denon AVR-X7200WA: es el que mas me tira, este creo que ya lleva la actualizacion de HDMI. Es potente y con calidad.
Onkyo TX-RZ3100
Pioneer SC-LX 901: tiene un descuento de 800 euros de marca.
Yamaha RX-A3070: es el mas barato y el que menos me atrae
Marantz SR8012: tiene buena pinta, es nuevo y trae los nuevos HDMI 2.0b y con Auro3D incluido sin pagar. Lo negativo es que el DAC es un AK4458, cuando el Denon, mas antiguo, trae un AK4490, superior. Además no se cuando se podrá comprar, unos dicen que septiembre, otros noviembre,... En principio es algo menos potente que el Denon a 8 ohmios (140w por 150 w) a pesar de ser algo mas potente a 6 ohmios (205 w por 200 w), cosas raras