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 your own. I dunno, approximate, improvise.

1. Edit your catchphrase. Select the text block and enter the word(s) you want and select the font (mouseover the gear icon that appears when it's selected). Also change Height to resize the letters. Make sure it fits inside the 35mm radius circle underneath it.
2. Select Extrude Text and extrude it to 25mm.
3. Extruding them should have merged the letters automatically with the 35mm circle beneath them. If not, then merge the letters with the base circle (use the menu bar or [ character and select all parts, then press Enter).
4. Move the cylinder labeled Ltr Cutout 100mm up (-100), then subtract it (that's the ] character) from the letters.
5. Move the cylinder marked Btn Cutout 100mm down (+100) and intersect it (the **** character) with the letters.
6. Select all your letters and move them 100mm left.
7. If you are doing a single nozzle print, merge all the letters with the blank button and export as .stl.
8. If you are making a 2-color print, i.e. two print nozzles loaded with different filaments, export the two parts separately. I say two parts, though each letter not connected to others will be a separate piece with this program. For my purposes, I had to graft them together with a small 0.1mm "thread" in the design before exporting. Make sure the thread doesn't appear above the button blank.