I've got a customer that I have to remove 3 Holly trees that are about 12-15' each. The customer wants them cut and removed, not pulled out. He also does not want the remaining stumps ground. What option do I have to eliminate/kill the remaining stumps/ roots? Thanks in advance.