No problem buddy, it's a great how to video. And thanks.
Here's a quick video of the hardening process. nothing special, just a lot of noise from the blower and some flames from the oil LOL.
Yeah the file was 5mm before machining, so ended up around 4.5mm. Definitely a chunky splitting tool.
Even found a little presentation box that it fits into neatly