Today I was able to verify that the hot restart problem is fixed. I think the main issue was the positive battery terminal. It looks like someone replaced the factory terminal twenty or thirty years ago. Much of the copper wire was discolored. I cut off about 3/4 of inch of copper (maybe less), removed some insulation, and installed the new terminal. It is nice that hot restarts are no longer an issue.
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.