Yes, Rick,
but this is just a "little" pin that was held in by friction when designed.
There is no particular stress on the pin, and it is too light to move under its own weight if fit correctly or sealed, it does not operate in a high temperature environment.
Most any blue locktite will do the job for Tom; just go to the local hardware and don't over think it.
Every thing you have written is quite true, but you have made this simple fix sound like rocket science; it is not. JMHO.
