Interesting - if it's indeed a euro pushbutton it's serial no should be lower than #1285.
You should find the last 3 digits of the VIN stamped many places if it's one of the first handbuild cars - headlight buckets, all 3 engine covers, inside of doors, side gills, deck lid, front radiator cross bar, condenser screen ....
Kristian
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.