How Deep Should You Grind a Tree Stump?