Some new digikey parts arrived. The PCB mount push button switch is really tall, 17mm. Several different switch caps arrived. (see picture below) So far, the big red button seems like the best candidate.

Also, the neat little TO-220 switcher arrived. This switcher can can take a up to 28V in and has 5V at up to 500mA. There were also some caps and a photo transistors in the order.