eso que le pasa a domador con el mux de antena 3 a mi tambien me pasa.
soy de BCN tengo 2 lcds y eso me pasa en uno (marca Sharp) si los busco los canales en automatico el Tv se cuelga busca los que le da la gana,
por ejemplo: no quiere saber nada de TVE,Ant3,TV3 y de la sexta no quiere saber nada de LA sexta2-3.
solucion (para mi ) he tenido que ponerlos manualmente (mira esta pagina http://www.tdt1.com/canales-television-barcelona.php )
la sharp no deja buscar por el MUX solo por Hz de esa pagina puedes sacar el MUX Y los Hz de los canales.
solo tuve que dejar para el final los canales de TVE por que eran los que me daban mas problemas y no se porque.
un saludo