That is exactly what they have done but they are saying the crack was already there and them drilling the stud out has just made it worse so they are not responsible !
Never had any leaks or cracks before they touched it. I know it's down to them but they won't take any responsibility for the damage so have now washed my hands of them as just want it fixed and back on the road.
Once it is repaired I have found someone else who can map it so the company responsible will not see another penny out of me.