Zona Satelite!!

Hola, llevo varios meses con mi viejo receptor TDT 1080p de la marca Energy Sistem dándome problemas. Tiene muchos años y parece que ya no recepciona bien los canales, toda grabación se ve interrumpida por pixelaciones que provocan que la imagen se quede congelada durante varios segundos en los que tampoco se escucha el audio.

Por este motivo quiero comprar un nuevo receptor, pero que ya sea 4K UHD aunque todavía son minoría. Es para usarlo con el cable de antena de TV de toda la vida, necesito que tenga estas características:

IMPRESCINDIBLE:

-Toma de antena - (mi actual receptor TDT pone RF IN, hay receptores que ponen ANT IN o ANT ¿es lo mismo?)
-Que sintonice y grabe canales en 4K UHD.
-Que permita grabar los canales de TV en una memoria USB y que esas grabaciones no sean codificadas - (esto es porque algunos receptores codifican las grabaciones de modo que sólo puedes ver lo que has grabado, o sea el archivo de vídeo, en el mismo receptor y no en un PC, por ejemplo)
-Que reproduzca contenidos en 4K UHD, con HDR10 (3840x2160)

NO IMPRESCINDIBLE:

-Que reproduzca audio DTS y audio lossless multicanal DTS-HD Master Audio y Dolby TrueHD (todos los receptores que encuentro sólo dicen reproducir LPCM y Dolby Digital, como mi actual receptor TDT).

Aparentemente, según estas características (con sólo lo imprescindible) podría valer el Metronic Decoder TNT Zapbox UHD-S1 4K

El manual (que sólo viene en francés) dice que tiene HDR y reproduce sonido Dolby pero una opinión de una persona con compra verificada en Amazon dice que no es así. Contacté hace 2 semanas con Metronic sin obtener todavía respuesta.

También está otra opción, TELE System Sistema TELE UP T2 pero creo haber leído que codifica las grabaciones y sólo puedes ver lo que has grabado mediante el propio receptor.

¿Conocéis algún receptor con las características que busco? Creo que hay algún streaming box, o similar, que reproduce lossless multicanal DTS-HD Master Audio y Dolby TrueHD y que lleva toma de antena aunque me parece que sólo para sintonizar canales y no se pueden grabar, no lo sé.