Looking for some professional advice. Our landscaper was digging with an excavator to set a fence post and they were smashing and ripping at this tree root for about 5 minutes. It’s about a foot in diameter and very close to the trunk. I’m afraid he damaged this too much. The tree is about 100 feet high and very mature.