I recently bought a new Gravely 260Z, and am now sharpening my own blades with a Magna-Matic 9000. Okay, since my previous mower was a 250, with no deck overlap beyond the wheels, I've managed to forget that a few times and whack some blades pretty good on rocks and gravel when turning or going over obstacles. (one thing we've got plenty of in SW MO is rocks!) Also, I think the new deck has considerably more suction than my old mower. Seems to cut better, but I also notice lots of nicks in the blades, even with just a few hours on them (usually change out about every 6-8 hours). I'm guessing that this mower is picking up smaller pieces of chat and gravel that the other mower didn't. Anyhow, my question is, how big a chunk out of the blade do you guys ignore when sharpening? To work them all out, obviously, is overkill, and would greatly shorten the life of the blade, but can you tell a difference in the cut if a blade has a couple of places, say 1/4 inch wide knocked in it? I've been just sharpening until the bulk of the blade has an edge and calling it good, but just wondered what the rest of you do. Thanks.