– continuing to run the washer can short-circuit the motor driver, turning a $30 repair into a $400 one.