The files softened. I was able to file them with another file.

Finger for scale, they're pretty tiny teeth. I think a more solid support (there's a table leg underneath this vise but I cut it too short, and it's supported by a wedge that tends to work loose) and a bigger hammer I should be able to get bigger teeth. Not sure how happy this high speed steel will be getting whacked though. Wish I remembered to look for some wee cold chisels at the boot sale.

I sort of assumed you'd want the teeth to lean forwards a bit so they bite the wood, here they're all over the place.

Did a little test and it seemed to cut this walnut fairly okay.
I've got two softened files and now i've got to decide which one I want to turn into a curved rasp. I've got some other dull ones I could use too, but the teeth on them are so mighty that it'd take alot of effort to grind them off.
This is all the easy part though. I've gotta find a good place to keep that compressor, then pressure test it to reassure myself that it won't detonate, then start fussing about a sand blasting setup.
The other thing i'm thinking about is how i'd best go about preventing the teeth from burning off when I harden it. I was thinking about perhaps dipping them in plaster of paris, but then that'd probably rust them. Maybe I could try something like cladding them in window putty, which as far as I know is just linseed oil and chalk. Alternately I wonder how well a heavily reducing flame would prevent the teeth from burning.
Edit: I found a photo of some rasp punches, as the guy called them, that i'm putting here mostly so I can find it easier.
