Likewise. Mine is years old and was expensive when I bought it. It uses a rotary timer which is much easier and quicker to use. As I've mentioned elsewhere in

Likewise. Mine is years old and was expensive when I bought it. It uses a rotary timer which is much easier and quicker to use. As I've mentioned elsewhere in these posts, ergonomics is important, and in this instance the simplest is also the easiest to use.