https://www.thingiverse.com/thing:3711186 was a pretty good fit, but the magnet holder interfered with the PCB solder lugs. Maybe just because I used a different printer. Whilst modifying that I made a few other tweaks to dimensions and rounded corners etc.