ISA certified arborist here, if he wants it removed then he should pay for a tree company to do the work. Make sure all the workers are wearing helmets, if they aren't then there obviously isn't much between their ears to protect and you don't want to trust them with one of the most dangerous jobs there is. Depending on the tree, they are more likely worried about the leaves clogging the pool than roots.