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