Breuno
Just so you're aware, in case you werent, using water for quenching can be done, but it has a small chance it can cause distortions and tiny cracking, though it will end up being harder. in the modern day, its typically done with oil instead.. though i suppose it depends on if the world in game that you're building has sufficient access to oil!
Daoist689073:Understandable, I have a very limited amount of knowledge about a large number of things, and that memory about quenching just kinda stuck out to me so I went to look it up to see if I could provide some insight