Thank you
Thank you both for your replies. I had expected that I'd get a notification by email if anyone responded, and so I didn't know that you had responded until I looked this evening.
The machine goes dead quiet, with the tub still full of water.
...and I just figured it out!
I...
Seeking a wiring diagram / schematic for a Whirlpool GSW9545JQ0. My best guess is that it was built in 2000; that's the date on the timer.
The tub does not empty after a wash cycle. If spin is initiated, the tub empties at a reasonable rate. That leads me to believe that the drain pump is...