Me respondo a mí mismo. Lo dejé por imposible, y al llegar por la noche, se había solucionado solo. Ya he podido entrar al menú y sintonizar los canales de TDT, que por cierto ya he visto que sirve de poco esta opción porque los HD no se oyen (ya había leído por ahí que podía ser así), así que seguiré viendo la TDT directamente en la TV.
Saludos.