DFRobot Gravity Gas Sensor Box

This is a simple box for DFRobot's “Gravity” line of gas sensors. I had to cobble something together for initial testing of their SO2 sensor at work, and I figured it might be handy if anyone else needed it (though this is so niche that I'm doubting it). These sensors are supplied as a bare PCB and sensor module, leaving it up to the end user to sort out. I started with Lazly's PCB Box (Customisable) from Thingiverse as it's based on OpenSCAD and allows for customisation based on a set of tweakable parameters. Once I figured out that getting a box of the correct size was easy, I grabbed the .scad source and played with it to make a few tweaks, getting rid of the hex mesh on the lid in favour of a single round hole for the sensor head, and a second hole in the side for the supplied cable that connects to the I2C header. The holes that bolt the PCB to the box and the lid on the top are all sized for M3. The inside holes are large enough to accommodate an 8mm screw with a small washer, an