Tienes el sr6011 a 900€ que es casi el mismo que el sr6012 (cumple lo de Dolby Vision) y además para música se supone que te iría bastante bien (yo tengo el 6012 y bastante contento hasta ahora).

Y luego tienes el x3400, que en teoría es "menos musical" y es algo menos potente que el 6011, pero si necesitaras más potencia tiene salidas pre-out para alimentar etapas, o tu yamaha, si lo quisieras mantener "como apoyo" (ya que tiene entradas multicanal).

De todas formas saber las cajas reduciría riesgos de equivocarnos, como te ha dicho Atheneo,

Un Saludo !!!

Ojo, hay otras marcas, con productos también bastante buenos (como Yamaha, Onkyo, Piooner, incluso el Sony STR 1080 lo ponen muy bien) lo que ocurre es que hablas del tema "música" y la calibración Audyssey se considera un poco mejor a la de estos otros que te nombro.