Not sure on your 'pre-production prototypes'- pushbuttons, but starting sometime in '71, both original headlight buckets were stamped with the car's serial number digits but not the letters. Can't see this stamping unless the bucket is removed since it's on the bottom surface, and some stampings are almost filled up with factory paint, but it's one way of checking for serious crash damage; replacement buckets were not stamped.
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.