Andy,
I have looked and looked and still don't know what those came from. I've never seen a set in all my searching for my GRP 4 lights.
You can buy them from the vendors, but that will probably set you back close to $100 with tax and shipping.
Larry
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.