Well I would like to wish you a long and happy retirement Richard.

Printing just wouldn't be half as much fun without your timers. Yes it is great that they will still be available, just a shame the prices had to increase so sharply and so suddenly.