An arborist offered to “top” my shade tree that has grown so large that branches touch the house. Should I have him do that?