The file 'Enviro -Corp Space Scientist – 28mm Miniature 3D Printer Model' is (stl) file type, size is 3.2MB.
A miniature from another set that never took off, but here is the test mini for free.
www.BMT3D.com