I ordered a switch from Appliance Parts Pros, which they had in stock for my 22 year old Whirlpool microwave. I installed the switch, and the micro works great.
I had to come up with an alternate method of attaching the wires since the connector had melted.