I cut the shape out of the file with an angle grinder, and when I'd done the blade end by hand used it to take the bulk of the file teeth off the back end (under the handle) - I'd had enough by then
Everything else by hand and eye - quite pleased with how its going so far.
