Just for fun I took my lansky 120 / 600 grit diamond file and rounded the end of a real file. I use it to sharpen braze on carbide lathe tooling sometimes. I think it would shorten valve stem ends too. Is that a good idea? I’m not sure about that...