I have 6 of the 10mm, 2 of the 15mm and one 5mm (for which I could not find a use on any of the fiche...). These are all brand-new.
I have 6 more of the 5mm out in the garage that look to be hardened with age, but I don't know where they came from? They are definitely not new.