Mira te dejo varias reviews de los modelos que barajas/mos:
Yamaha 3010, aunque es el del año anterior es mas o menos igual al de este:
http://www.homecinemachoice.com/news...0-review/10783

Denon 4311:
http://www.homecinemachoice.com/news...11-review/9994

Denon 4520:
http://www.homecinemachoice.com/news...0-review/15002

Anthem mrx 700 (si que es hdmi v 1.4, por lo tanto es 3D):
http://www.homecinemachoice.com/news...00-review/9807

Pioneer lx86:
http://www.homecinemachoice.com/news...6-review/14702

Personalmente y viendo que joserrax viene de un Yamaha 3800, igual me decanto por el pio lx86, siempre que lo pongan a buen precio, ya que yo tengo un Yamaha rxv 1800 en el comedor y un rxv 2065 en la sala dedicada y estoy muy contento con ambos.
Se habla mucho de calidez y todas esas cosas que a uno le hace pensar si meterá o no la gamba, aunque como ya hemos comentado, un amplificador lo único que hace es aumentar la señal que le llega desde el reproductor, ni mas ni menos, otra cosa será como ese AV haga el trabajo de calibrar los altavoces de acuerdo a la sala y en este campo el Anthem es el mejor con su ARC, otra vez con la duda si acertaremos o no, jeje.

Si no baja lo que yo espero el pioneer y queda algún 4311, entonces será mi elección, ya que tengo ambos en mente.