If you can do a version with 5x6mm ball detent it would be really convenient. It's hard to buy from OOD from outside the US, and they're expensive. Bambu printers sell the 5x6mm in their Maker's Supply hardware store, very cheap (like $2 for 10), and global. (EDIT though I just did it myself from the CAD file, thanks for providing STEP, it's very helpful). (edited)