PETG print files for:
(millimeter sizes)
There is also the FreeCAD file if you need a different size.