The Firefly Ice mechanical parts were created using Rhino 3D. The files are in the firefly-ice-mechanical GitHub repository. The parts have been exported to STL and put on Shapeways with the tag Firefly Ice.
The file firefly-ice.3dm contains the enclosure parts and clip as well as a model of the PCBA and the battery.
The enclosure parts were generated from the hand written Rhino 3D script firefly-ice-blue-core.py.
The PCBA model was generated from a script written by the PcbTo3D tool in the firefly-production-tools GitHub repository.