Receptor con 2 salidas HDMI 4K fácil de usar

Este fin de semana por fin me han instalado el home cinema y el Optoma UHD51. Tengo lo típico de que la pantalla de proyección tapa la TV cuando lo bajo, con lo que necesitaba 2 salidas HDMI, y muy importante, que sea sencillo alternar entre ellas desde el propio mando.

Lo digo porque desde la tienda me sugirieron el Pioneer Vsx-303, pero no está hecho para alternar fácilmente entre salida Main y sub, ya que hay que hacerlo mediante menú en pantalla. Lo que obliga a tener encendido el proyector, para poder cambiar a TV.

Me sugieren el Yamaha RX-A880. Se me va de precio a lo que estaba dispuesto a pagar, aunque si no queda otra, eso haré.

¿Alguna recomendación de receptor con 2 salidas HDMI 4K en las que se pueda cambiar fácilmente con el mando?

Un saludo y gracias

PD: fácilmente es sinónimo de que lo pueda hacer mi hijo de 6 años

¿Y si pones un splitter a la salida de un único HDMI? Tendrías la señal en ambos equipos al mismo tiempo. Sólo es encender el tv o el proyector.