Replaced all three switches, no reason not to at the repair stage. Put micro together and it now works. Tested all three switches, they work fine. Disassembled switches, no welded contacts, evidence of arcing or broken springs. Problem is most likely the result of the cheap-ass assembly methods adopted by Whirlpool (Kitchenaid), everything snaps together without fasteners.