From HacDC Wiki
There are 3 3D printers in the hackspace currently:
Rostock Max V2 LulzBot Mini
Reprap Mendel V1.5 (Being Repaired) 3D Systems Cube V2 (Needs Parts)
Please check their respective pages for their status etc.
This category has the following 4 subcategories, out of 4 total.