Jaguar Stud Removal

Jaguar Stud Removal

My friend has a Jaguar. While he was trying to remove the top of the engine, he broke the head of one of the studs. He told me that there is a tool to fix it, but it has a patent on it and he can't find who has it. Do you know of anyone who has this tool.