Space Invaders Magnets Small

I have given several presentations about my DIY Prusa Mendel 3D-printer and wanted to give the visitors a small 3D printed gadget. For that, I made the space invaders (thing:18395) 50% smaller, so I could print a lot of them in a relative short amount of time. I changed the hole so it fits a tiny cylindrical 4 by 2 mm magnet.