Repair of marine equipment