Deep sea repair work on a corroded metal pipe