Personalmente non faccio mai i conti in tasca a nessuno, ma sei sicuro di non rischiare di buttar via dei soldi per un tentativo di riparazione che potrebbe non andare a buon fine e che ti costringerebbe comunque ad aggiungere un Decoder?
Poi per carità, scelte tue...
Comunque EX700 è una Serie di marzo 2010, davvero, in elettronica poi dove tutto cambia così repentinamente ed i costi si abbattono, ti sembra strano che non sia disponibile un ricambio a distanza di dodici anni?
Tra l'altro, ache se lo avessero avuto il costo di questo ricambio nuovo probabilmente ti avrebbe fatto desistere.
