Pues era una duda que tenia, gracias Capoeira, entonces entiendo que podria enchufar el deco Vodafone 4K en el hdmi1 sin problemas no? no tiene HDR, pero ahora no recuerdo a cuantos Hz va la resolución 4K del chisme.

Un Saludo.