The seller has these in several sizes … and I suspect that he has a large quantity of them.
Hopefully they should be a source of high-quality steel.
Horologists will presumably realise why I chose 7mm diameter.
MichaelG.
.
https://www.ebay.co.uk/itm/257176445991