Míratelo en el link que te puse. Sí que tiene salida HDMI 2.0.
En cuánto a la antena, debes poner un divisor de antena en el cable que viene de la parabólica. En una de las salidas enchufas el tv y en la otra el cable que va al sótano. Ya tienes la señal del SAT dónde la necesitas.
Si quieres llevar la TDT (a mi manera de ver totalmente innecesario) debes agregar un mezclador.

Ya luego todo es cosa de configuración.