Easy button lab customizer

This is a tool to help you customize your own personal replacement for the red button-top on a Staples *easy* button.

It's customizable, sort of. Not OpenSCAD customizable; you use Autodesk 123D Design or other software capable of working with the source files.
I *did* export a .sat (STEP) file. It doesn't have the text part in it; you need to generate your own text that fits, extruded to 25mm, to work.

Caveat: Instructions are for 123D Design users. Any other software, and you're on