Yeah the latter is what most seem to do here but it really takes months if not years for it to decompose that way plus the big black dead stump. I just dig them out and if really large I dig down about 2 feet or so and cut it with a chainsaw and call it a day. Its not to bad with the right tools