I don,t know what's the matter with you people. All this rhetoric over a stump issue which is simply and efficiently removed with a stump grinder!
Nothing the matter with us Info12 ... I suggested a stump grinder and that's what the OP used.
Merry Christmas ... peace and goodwill to all