Great idea! Went to our local electronics surplus shop and got a second hand 5 position pushwheel switch in good condition for a massive US$4.26. Now to find a moment without my two year old to fit it.
NB: I found some thumbwheel switch manufacturers online, one of whom has several models that have an option for internally lit numerals. That would have been great but not for US$50 per digit position!