I was playing around with different gaskets for sealing my panels and had to print multiple sizes for testing. I'm not organized so they got jumbled. Maybe these will help or save your time.
Note, haven't printed the finished product, just the originals because I found a PIP version, which had size markings already.
I used the original designs STLs as the base since I don't know how to make use of the .f3d file on github so your mileage may vary, good luck.
The author remixed this model.