Thank you Jan, this is a wonderful tutorial. Because of your inspiration, I have bought several new push-button switches and I plan to practice disassembling, cleaning and assembling them first. These switches are very cheap, about $0.50 each. I will not start cleaning my beloved receivers until I believe I am skillful enough. Once started, if any of the springs, contacts or hooks escapes, those new switches can serve as parts units.