[DonVoigt]

That is a lot of words.
I recommend "blue" loctite as it is removable, and the pin will be also; way easier than many of the original pins that folks "cuss" about.

No use making something easy a "production"! JMHO.

If one needs to remove a loctited pin, a little heat from a hair dryer will make it even easier.
As to whether it "will have to come out" in future, maybe -maybe not, but loctite will not appreciably alter the removal by a proper size punch.

Like I said- BLUE, not red or green or purple- those are for other purposes.

GT's method will work fine also, if the pin is relatively soft; the pin in question may be from a hardened stock- like a drill bit, they don't upset well at all.

I never recommend a fix, unless I have used it successfully myself.