About this 3D model
Well, I designed and printed it. Obviously, right in time for the original part to re-appear somewhere in my drawer :-/ Never mind, I'm pretty sure that I'll lose the original part yet again sometime in the future, so it's pretty good to have this DIY version ready when I need it :-)