Has anyone ever had their Radiator Repaired? Mine has a pinhole where it contacted my horn. Trying to decide whether to buy a used one or have my own repaired. There's a reputable Radiator shop near where I live that repairs all kinds of radiators for a whole $85.00! Too good to be true?