I understand the water pump fix requires machining of the case. Is the so? What is the cost to have this update done? I ask as I am looking at a grey head.