Took the control panel off. Took the door latch mechanism parts out. Paying attention of where the wires were connected (I drew a schematic) so I could put the microwave wires back together again. Then I put the new switch in place.
I used a set of "star" wrenches to remove the door-latch hardware on the microwave. This is a unusual set of wrenches I happened to have on hand.