have a look at Bahco, Swedish…….
the files of similar size are used for sharpening HSS chainsaw cutting chains…..
always on offer, just bought a few of diff shapes for €2 each last week, actually, they wanted more for the new file handle that were "also on offer"……..
I use mine a lot especially the small flat, deburring on the larthe and mill……my first 1 must be 10 years old and still sharp………they are quite fine tho……
remember if they don't get blunt on the chains, they'll do us a treat in the shed…..
just sayin………