I needed a replacement clip for a mop head for someone, wasn't sure if I could or where I could buy some. They needed it fairly quickly as well. There is two files, one at .2" thickness (5.08mm), and another at .17" thickness (4.318mm) to compensate for printer errors or a slightly smaller hole or whatever. 

I'm probably the only one ever to need this part but if you do and find this post, here you go. Let me know also if you have a similar need but need something changed.