Pipe repair for the offshore oil production industry - Oil, Gas & Refineries - Oil