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.

