I've read enough posts where owners have sheered the pin to make it worth it. Its an easy mod to prevent a failure, even if a low probability, which would leave you high and dry.
BTW when I replaced my gear it was not pressed on.
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.