Caricabatteria in dotazione guasto

Salute a tutti. Volevo un consiglio da chi si è trovato nella mia situazione: il caricabatteria standard in dotazione, quello sotto il sedile di guida (ho un Autoroller 2 del 2004), dopo 1/2 ora che è attaccato al 220V, smette di erogare il 13.8VDC che serve a tenere in carica la BS. Me ne sono accorto questa estate, nel campeggio in cui mi sono fermato 2 settimane per motivi che non sto a spiegare. Per tamponare il tutto ho comprato un caricabatteria per auto, dimensionato alla taglia della BS (100AH). Al ritorno, ho smontato il caricabatteria e mi sono accorto che il trasformatore che c'è in ingresso, quello che alimenta il ponte a diodi, dopo qualche tempo che è alimentato, non eroga più tensione in uscita. E' un trasformatore annegato in resina, con all'interno una termocoppia che taglia l'uscita in caso di surriscaldamento (nel mio caso lo fa anche a freddo). Il consiglio che voglio chiedervi è questo: ho contattato il costruttore del caricabatteria e, dopo avermi detto che il trasformatore lo costruiscono loro, mi propone la riparazione del caricabatteria a 80€(!), oppure solo il pezzo a 40€(!!!). Dato che il caricabatteria che le case montano standard sui mezzi come il mio, entry-level, non è il massimo (ho già sostituito la BS originaria perchè non teneva più la carica), mi conviene farlo riparare o passare, anche se con maggior spesa, a un caricabatteria come il Power Service? Grazie a tutti coloro che risponderanno. Buoni KM a tutti, Elio