Hull and machinery repairs