Not nearly as cool and no pix yet, but i finally broke down and got a few cheap diamond files. I have no idea how I've managed to get by without them for so long, the ability to file any hard material is a game changer for me. They work great on stainless which will eat a regular file up, and it works reallyyyyyy well for touching up cutting tools, especially drill bits. I very seldom have access to a bench grinder, and I'm to the point where i can't see it as well, so by using a diamond file to finish the sharpening i can get the angles and chisel perfect, and can even cut in the self centering pilot notches/split point or whatever it's called. I even hit a hole saw and it cuts like new again, couple strokes a tooth and it's cutting like butter again. I'm hoping to use it to lightly touch up tungsten too, haven't gotten to test that yet but imagine it'll work perfectly.