[porsche tech]

FWIW, it’s hurricane season again (here). It has been well documented, if a (live) tree falls from your yard and does damage to your neighbor’s house, it is the responsibility of the neighbor’s insurance company to cover the neighbor’s damage. Seems like the same would apply from root damage. Sounds like the neighbor is way out of his lane.