If he didn't floor it, it might have been alright.
@djsumdog @682494d6 https://youtu.be/5HsR_itEjBc?si=9uvP7Pc4l2Npr9WQ
@djsumdog @682494d6 You win some you lose some.
It's just better to hire someone with a stump grinder. Plus you get a lot of mulch out of it you can use to fill in the hole.