Done deal, another hurdle over come. Saw the engineers this morning and they said they have already done it before
In actual fact he showed me the socket.
All that has to be shaved of the diameter is 0.85 mm. So he is going to machine me one with a longer socket. $25 sure cheaper than rebuilding the head and risking shavings.