[ECarlson]

We used similar switches. We got ours from Digikey. They are available in many varieties, from push-button to thumb-wheel, and sizes.

Unfortunately, we didn't mount them in the safest place, and they got damaged at out last regional, so we had to order more, and have to install them (in a safer location) at our next regional.