是在这里找到这些东西的。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