Does anyone out there know the diameter of Lancia tool 8055031 that slips on to the nut on the clutch pivot shaft and is then used with a .05mm feeler gauge to set the booster shaft length?