Нашёл эти в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.