Hi Louis
That picture of the model 7412 is the model my parents had for a few years. It was a great washer - quiet, strongly built, washed very well. Spin wasn't great - maybe 500 rpm? They threw it out after one of the switches fell apart and Mum got a shock from it. I liked that machine. To start, you pressed the "start" button and held it in till the pointer indicated the cycle you wanted, then released and it started the cycle. You could not turn the timer by hand, it was just a pointer. Another knob selected from a wide range of options. It was a really heavy and strongly made machine.
Chris.