In case this may be of help to others…
A few people on Orchid have mentioned installing an electric cut-off switch by the door to their shop so they can turn everything off at the end of the day. I can’t do that, and I’ve left the pickle pot on overnight (or longer) one time too many, so I looked for another solution.
A 24 hour timer might work, but I don’t necessarily need the pickle pot to be hot every day. I looked into a countdown timer and found this:
So far it is working out nicely.