Between droughts and storms we lost a dozen or more trees over the last year, leaving us with the problem of what to do with the stumps left in the ground. Here is the solution we have figured out. Drill lots of 1” holes into the stumps, wait a season or two, then burn out with the aid of kerosene.