Peter,
The travel appears to be 8mm, including the free play, as measured in the attached pic.
FWIW, the previously posted pic of the effort reduction kit (the one that JFB annotated) is mine. I have 38,000 miles on that kit with no problems.
John
PANTERA INTERNATIONAL
A DE TOMASO CAR CLUB
Presents the De Tomaso Forums
The On-Line Meeting Place for De Tomaso Owners and Enthusiasts From Around the World
Clicking on the banner will take you to the sponsor's website.