Weird,
I can't find that in the list either.
Tried Google too, nothing, though I can find many mentions of model 1850 or model 4777.
I've put a topic in the European forum to ask the guys what model Holley was fitted to european market Panteras.
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.