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...