Gracias por los consejos.
Al final voy a comprar un TDT HDMI externo, por el momento.
Me da un poco de pereza tener dos mandos para la tele, pero bueno, mejor esta inversión que una tele nueva. Sobre todo con una niña 3 de años que está todo el día poniendo las manos encima...
Intentaremos aguantarla hasta que no quede más remedio.