would it just be cut down leaving a stump, or should the whole thing be pulled out of the ground? It's a very mature tree with large root system which has caused significant visible subsidence. Does anyone know? Thank you