Repairing insulated pipes