Encontré estos enhttps://facepunch.com/showthread.php?t=1304034&page=6

También encontré el convertidor de AnyCad con el clic de un botón que los convirtió directamente en .OBJ y .STL's.
http://www.anycad.net/the-free-3d-model-converter-anycad-exchange3d.html

Al igual que con todas estas impresiones no probadas, por favor aventúrate bajo tu propio riesgo : )
Siempre con el sueño de cortarlos para imprimirlos, pero con tantos proyectos geniales en proceso, no estoy seguro de cuándo será eso. Aquí están para que todos los disfruten. Cualquier crédito debe ir al autor en facepunch.com.