Also, much have happened to the Arduino platform since I built my timer and now days there are lots of interesting shields and add-on modules easily available. For instance AdaFruit, and others, offer display-units with integrated keyboards that communicate with the Arduino over i2c. If you are reasonably familiar with the Arduino I would at least consider to replace my solution using a priority bit encoder (PBE) with an i2c solution instead. It will only require minor adjustment to my firmware I believe and it will require less soldering to put the timer together I suspect.