Endcap for Anycubic Filament Holder

One of the endcaps for the pivot rod on my Anycubic Filament holder has managed to disappear (no doubt aided and abetted by the kids), so I designed and printed this replacement. Fits perfectly, in fact rather better than the item it replaced.