Plastic Tip for kikkerland gadget pen

So I've got this 7-in-1 funny pen from Kikkerland (https://kikkerlandeu.com/products/7-in-1-gadget-pen?_pos=14&_sid=75ba701c0&_ss=r). But it has one of those terrible rubber tips for touchscreens that I absolutely despise. They break and make the writing experience way worse in my opinion. I ended up taking mine out and losing it, but without it, the pen tip wobbles and writing is a nightmare, so I made this little plastic tip to force the tip in place. Tolerances are such that you don't need to use any adhesive.

This was printed in a (very) modded Ender 3 with 0.2 nozzle & Fine (0.12mm) Quality profile. No supports or adhesion layers needed for me, but your mileage may vary. Printing Slow always helps in these tiny models.

Also, you may need to manually remove with a crafting knife the first layer (the one touching the plate) since it's usually squeezed with the bed and gains some extra width.