Creo que no te merece la pena gastar en un receptor con 2 salidas HDMI para lo que quieres hacer. Te bastaría con un duplicador HDMI.
La ventaja de tener 2 salidas HDMI es para llevar señal a distintas pantallas/proyectores y ver lo mismo. Como sólo vas a ver 1 cosa en la tv al mismo tiempo, no vas a aprovechar esta ventaja (y el sobrecoste que conlleve) aunque te serviría igualmente.