Timer for Hobart 20Qt Mixer

Apparently, even the Hobart repair guy can't change a mixer's on-off switch from a toggle to a timer, which means there has to be a timer in the mixer's power supply.

Enter the darkroom timer, the kind that was in every high school darkroom before digital photography. It works great: no more listening for the ring of a wind-up timer, the mixer shuts off when the mixing is done with a buzzer you can hear in the next county.