总结

是在这里找到这些东西的。https://facepunch.com/showthread.php?t=1304034&page=6

还发现了AnyCad转换器，只需点击一下按钮，就能将这些文件直接转换成.OBJ和.STL格式了。
http://www.anycad.net/the-free-3d-model-converter-anycad-exchange3d.html

和所有这些未经测试的打印件一样，请自行承担风险尝试使用 : )
一直梦想着把它们裁剪下来打印出来，但手头有太多酷炫的项目要做了，不确定什么时候能实现。不过还是先把这些图片分享出来，供大家欣赏。所有版权归facepunch.com网站的作者所有。