Creo que ambos estábamos afirmado lo mismo, lo mejor es que leoaxel compruebe en el enlace que le has puesto de la lista de frecuencias tdt qué canales emiten en los mux donde están los HD, es decir, si ve Marca Tv tiene que ver A3Hd, si ve La Sexta 2 tiene que ver La SextaHD y como tú has dicho, si ve TDP tiene que ver TVE HD. Pero mejor que lo verifique en la web.
Si no es así, entonces deberían llamar a un antenista para actualizar los canales.