Thanks Phil I will remember that for next time !
As a postscript I managed to drill them out in the end without damaging the tube they clamp.
My next job is to tap them 5mm for a new screw. I plan to use
stainless cap headed , so I can grab it with something if required
And plenty of Copperslip.
