Thanks for the reference to the manual. I bought it, and have since:
1) Disassembled the front panel of the dishwasher
2) Cleaned the contacts, switches, and door latches
3) Readjusted the bi-metal switch on the main door which was originally malfunctioning to make it more of a hair trigger...