Credo's Raspberry Pi Case Lid with 30mm Fan Vent

This is just a lid to go with https://www.thingiverse.com/thing:1368797 . I originally tried benglerts' remix https://www.thingiverse.com/thing:2766608, but couldn't get the fan mounting holes to line up with my fan. So I made myself a new lid, but left out the GPIO and DSI access I didn't need. I should probably take the time one of these days to make a file that lets you choose which cutouts to use.