When I rebuilt the top down switch, I used a "Cherry E63-04RP Sub-Miniature Micro Switches, NO/NC .1A 125V Gold Contacts". Got it on ebay. Square D makes the same switch. Paid $10 for 5 which included delivery in two days. I included pictures of the completion on March 28th in this thread.in note #160