Scusate se non vi ho aggiornato. Alla fine ho optato per la sostituzione (ho ragionato esattamente come ha appena scritto Samir).
Ho messo da parte il radiatore originale (nel caso dovesse servirmi proverò a ripararlo con il turafal), e ho acquistato il radiatore non originale.
Devo dire che non è esattamente identico, ma alla fine per 80€ (anzichè 400/500€) non c'era da aspettarsi molto. Il radiatore è molto più spesso, quasi il doppio rispetto all'originale, ma ha anche circa la metà di "canali" (non so quale è il loro nome tecnico).
Ho già montato tutto, nel fine settimana provo il tutto sperando che faccia comunque il suo sporco lavoro in modo soddisfacente.