Grabar de HDMI

Hola mi pregunta es sencilla y quizás su respuesta también, pero os aseguro que me trae de cabeza intentandolo.
¿Como puedo grabar del HDMi?
Es decir, tengo el modelo UE40ES7000S, entro en el Smart Hub y de ahí voy al gestor de programación pero una vez allí al programar la grabación solo me deja hacerlo de la antena DTVaire. ¿Alguien sabe como cambiarlo a algún HDMi? Muchas gracias de verdad.

No se puede grabar lo que entra ni por HDMI ni por USB ni por la red.

La tele sólo permite grabar lo que procede de su propio sintonizador (cadenas de TV).

Saludos