Tuxedo Stud

Had a tuxedo shirt, but as I'm uncultured swine I had no idea how to affix the top of the shirt I was using cheap carabiners for a while). After some googling, I realized tuxedo studs were a thing, but even the cheapest set on Amazon was like $30. Couldn't find a model on Thingiverse either, but found
https://www.thingiverse.com/thing:2328403/
and DuaneIndeed was gracious enough to take some measurements. After about five minutes in F360 and a couple minutes printing, I have a way to close my shirt! One of my studs broke upon trying to unbutton my shirt, but they were all strong enough to hold while wearing them even at super-low quality (and they cost about a penny, so NBD even if I break them all every time).

Hope this comes in handy for someone else!