Those exact switches are usually available at a good price, and decent selection of sizes, shapes and colors, from AllElectronics.com. They're nice, in that the switch is actually a replaceable snap-action microswitch. They're not so nice in that they are pretty large - they need something like 1.5" depth to mount. The color can be changed easily by cutting gel filters, or using colored light bulbs - they use a small 12V incandescent bulb for illumination.
Regards,
Ray L.