De AVR, de los que planteas, iría sin duda a por el denon, y a ser posible el del año pasado, el 3400, ya que el nuevo no aporta nada.
Ese denon lleva Audissey xt32, que es superior al sistema de calibración del Marantz y de los yamaha.