Update:
I asked an independent Porsche specialist if I could see their tool this morning... "We don't have one and never measure it directly... we do it by feel"
The local Porsche dealership mechanic almost laughed at me when I asked if they would have this tool on hand...
"We haven't rebuilt one of those in more than 10 years" (it's probably being used as a door stop in the toilet)
