Thanks to all the information in this thread (especially TommyDee and some others) I made two IH models (IHMini and IHMiniBat) as small as possible for 3D printing. You can download the links to print here:
https://www.thingiverse.com/thing:6016217
https://www.thingiverse.com/thing:6016310
I...
