Well, here's my two cents. Normally if the toe isn't getting any love I don't worry about it. That last 3/16" or so doesn't need to shave. But you have a good 1/2" there to be concerned with and so...