Has anyone ever removed these from a Sport Quattro. Had one in a dealer6s shop for a compression test yesterday and the dealer said that none of their special tools for other Audis would remove these plugs. Is it "another" special tool? Colin