Replaced the heater element, per the video. Also had to connect a new terminal to one of the heater element wires. Once the heater was again connected electrically, the washer completed the entire wash cycle without hesitation. (During the time that the heater element was non-functional, the control "dial" would stop near the bottom, about half way through the cycle, and had to be advanced "one click" manually).
The Heater Terminal Shield goes over the Heating Element Nut better if you subject the plastic to very hot water first.
The entire repair cost about 1/10th the prices we were seeing for a new portable dishwasher washer.