Eso es, se me escapa. Reparar el sintonizador, hay algun manual? Podría sustituir por otro de otro deco?
Con los precios que hay hoy en día, repararlo, salvo que lo hagas tú ... no merece la pena. Poner el sinto de otro aparato, lo mismo no es compatible.