No need to replace the spring. It is not necessary. I did replace it during a restoration I did back in '93 on my yellow Pantera. It has since broke and I have not noticed any issue. I no longer replace them.
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.