OR if you're like me and don't have access to a grinder or sander (any more) just take a file to it. Yup it'll take longer, but you will still wind up with the same result.
And likely trash your file in the process, files aren't the best choice for steels this hard IMO.
