Al final, me he comprado el Samsung SH873, son 200€ y tienes sintonizador de tanto TDT y analógico, pienso que merece la pena pagar la diferencia.

No había pensado en lo poner un deco externo como posibilidad, pero lo veo algo farragoso, y a no ser que ya lo tengas, te ahorras 20€ como mucho.

Además grabando de una fuente externa no se que tal se comportará el grabador con las grabaciones por EPG, pausar emisiones en directo y demás.