Knowing the solenoid wiring would be important but I would nearer think the switch to be the culprit. However, if you turn the machine off and it does restart, that would seem to factor out the switch, to some degree. Could be using a different set of contacts and still be bad.
There is also a...