[dmjlambert]

Yes, thanks guys. That is exactly the sort of thing I was wondering about. So I think perhaps I won't do anything beyond tapping with a hammer. Or maybe I'll press it in with a C-clamp. If I need to get aggressive, I will disconnect the linkage, and may also consider squeezing the pin a little with a vise, evenly in all directions, to reduce the size slightly, and do that screw expander trick. I wonder if they had a special tool in the factory, or if pro service technicians have some sort of special tool. I am an amateur mechanic, so don't have every tool imaginable, yet.