On 20 Jul 2018, Bob F wrote in
alt.home.repair:

That's my kind of home repair solution. Good job!

Thanks! It all depended the spring inside the switch being like one I
had on hand. If I had had to shop around for some weird-ass size or
stiffness of spring, I wouldn't have bothered trying to rebuild it.
Luckily it turned out to be almost just like the one in a ball-point
pen. I opened up three different pens before finding just the right
one.