[Zeke]

I didn't have it at the time, but electronics guys use Deoxit. They also use good oil like gun oil but doesn't have to be. 3 in 1 is popular. And there is debate (mostly positive) that WD-40 is just as good for both.

Mine was gone. It wouldn't function right so a new one was the better idea. But the lock became and remained stiff, another typical problem. Maybe I did get it freer because during the selling process it got used more and since I have pumped some WD in it, that might have spread out and soaked the mechanism.

I'm still not sure what you're working on because the switch has contacts and the lock has a type of pins. They are 2 totally different part numbers that screw together. And no fun to work on.