Marti only has what ever information Ford had. They do not have info on pushbuttons and GT5s as they were not 'Ford' era cars.
Factory has (had) Mangusta have build sheets available.
here is copy of page 2 from 8MA1266, see note at top: Motore 302/0093
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.