Case closed! Arborist came and told me

this tree is perfectly healthy, and doesn't need to be trimmed. They will issue me a written report. They even said to me that while the neighbor is enjoying the nice shade, they may as well pick up some twigs.