Lo he consultado con el buscador antes de poner la pregunta, pero no ha servido de mucho ya que lo más específico que encontré ha sido receptores para proyectores por componentes, adaptaciones de antena o receptores de una marca concreta que no se adecua a lo que yo quiero.

Sé cuál es la netiqueta de los foros ;), haced la prueba de buscar "receptores tdt" y vereis que no os engaño.

Gracias de nuevo!