 Just like you say, it takes a while, but it does work. Now lastly, the other way you can do this is you can burn out the stump. This works best on older and drier stumps. It's basically potentially dangerous, so you need to know what you're doing. But it generally involves pre-treating the stump