FWIW, I bought (and sold) a set of early Pantera tools and the 10-13 wrench did not match either. Here is pic before replating.
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.