round metalworking file (Little Eaton DE21)

Hi Folks
I'm looking for a round metalworking file - approx 10mm / half inch diameter, if anyone would be so kind?
Thanks for reading!
Reuben

       
Approximate Location         Show marker