While shaving yesterday, I hit the edge of my straight razor on the faucet, putting a small dent in the blade. It does not go past the edge bevel. It doesn't affect my shave. Is this something that can just be taken care of the next time I get it honed or is it going to take take more work, like completely regrinding the edge?