I think these are a good idea.
I've hard to knock out loads of pins, probably half the time, the come out fine, but, when the pins wear, they also sometimes bur between the shaft and the coupling. These can be quite difficult to remove, some I've hard to fit a small ball bearing over the pin and use Vice Grips to press them out, at least to get them started.
The other thing to keep in mind every time we go bashing away at the Pins it can distort the part of the gearbox case that's machined for the Interlock Spool. That's what locates the Shift Shaft that the Coupling is fitted to and also the Oil Seal. As the Shaft Dia is relatively small, the seal itself has only small out of round tolerance capabilities, or put another way, the Shaft needs to be held very close on centre in order the the Seal, seals. So think carefully the next time you pick up the lump hammer to get that Pin out.
I've even come across a few over the years that the Shift Shaft was bent on from the Pin being stuck.