Mini Compressor for Fischertechnik

I've bought some used 12 V compressors on eBay (probably made for Aquariums?).
They are sold as "370 Mini Air Pump".

This is a suitable casing for this compressor. Print two parts of this and use 4 x M3 screws and nuts to assemble.

Source files available - created with Blender, using my BlenderSCAD extension (https://github.com/miguelitoelgrande/BlenderSCAD)

Have fun!