Pin is still in place. Connections to microswitch are fine. Can't really see how to remove the microswitch. I can remove the connections to it, but do I lever the thing out with a screwdriver after that?
The dryer is relatively old. Are all microswitches the same? Or am I likely to have a problem finding a replacement that will fit?
Got it out. It definitely isn't working. Will try to find a replacement.