Hola.
Dentro de ese rango de precios yo creo que el Onkyo es el que se ajusta a tus necesidades. Y las dos salidas Hdmi son ARC.
Creo que lo tienes muy claro y ese por 400€ sería tu equipo.
El Yamaha es también muy buen equipo pero tendrás que buscarlo a ver si encuentras alguna unidad que se ajuste a tu presupuesto.
No se me ocurre ningún otro que con ese presupuesto tenga 2 salidas hdmi.

Saludos