NOS Microswitch Button Lot x 8

Lot of eight new old stock microswitch buttons that appear to be from an old conversion kit. We're guessing these are about 25-30 years old, they were never used found them in a warehouse cleanout, there are four red and four yellow buttons.  In great condition, see pictures for more details.