I picked up what I thought was the thinnest wrench that I could find, but it turns out that it's the same thickness as my craftsman, just longer so it looks thinner. I think I'm just going to take the grinder to this one. I haven't had the forks apart yet, but do any of you have a guess for the thickest a wrench could be to be useful when changing the fork oil? This one is 8mm thick and I want to grind it before I take the forks apart. Thanks!