Product review (5 stars): Kudos to supplier and manufacturer
Vendor "Pandora's OEM" beat their promised delivery date by three days, and the part kit is just as shown on Amazon. The switch is identical with the one being replaced, down to the terminals being marked with the proper wire colors, so installation went smoothly.  I was back in operation a half-hour after the part showed up in my mailbox.  NOTE:  The two shiny knobs provided with the switch appear to be the same as each other, but the orienting tabs on their shafts are differently located, so one or the other will line up perfectly with the "off/on/start" markings on the front panel of whatever brand and model machine you have,  Despite that customer-friendly gesture by the manufacturer , I re-used the original knob from the switch I was replacing, because it is brown.