I rebuilt the case! It took ~20 iterations of export, slice, and print, not including failed prints. It now covers the whole top of the board but includes some vents so that you can press the reset and boot buttons. It took a lot of work and I changed the design multiple times. I ended up with hexagon holes in the case which in themselves were tricky. I used an OpenScad library I found on thingiverse and modified it, only to redesign the pattern so that those edits were not needed. Typical! The main picture is what I finished with. I also have pictures of the other designs.