Unlike other CAD programs that bury the option in an "Export" menu, DSM handles STL generation a little differently. If you click "Save As" and don't see .stl in the dropdown, don't panic.

A dialog box will appear asking you to select the bodies to export.

Help you why circles look "choppy" after printing