Hi Tom,

I've never tried this, but read that you can remove old tree stumps by
burning them out with diesel.