I have a high side line that measures 4mm exactly and it was punctured leaking all of the refrigerant out. In the interest of not buying a new refrigerator, how can I repair the line so that I can proceed with the standard gas charging procedure?