But I digress. I went to the Artisans Asylum with this rough #FreeCAD design to print it with one of the three Prusa MK3 available in the Digifab shop.
A couple of nice people helped me setup various slicer parameters and the printer itself.
A 0.10 mm fine print with common PLA filament takes about 40 minutes, and I had to iterate a couple of times to adjust the position of the screws, add scaffolding for the mounting screw hole on top, etc.