Designed in FreeCAD. Also printed it in PLA for curiosity, but it was too tight, would need to be scaled up 5 to 7% at a guess to have a chance of fitting.
The author marked this model as their own original creation.
