Good tip, too bad I dont have one
Guess an angle grinder or belt sander would be too much… so I probably stick to that grinding stone.