Steam mop replacement Clip

We have a Wetheim SM1000 steam mop, and the head can be detached by pressing a button to release the clip.

Unfortunately the clip bit broke and of course the unit is out of warranty.

So here is a replacement clip. Not the most interesting thing on thingiverse, but none the less useful if you have one of these mops and your clip is broken.