We have a large pin oak tree in our front yard. We've not had it pruned in the 10 years since we've lived here, and we doubt that the tree ever has been pruned, as some of the branches have grown into and over others. The tree will probably need some major pruning. What is the best time to prune a pin oak and how would you recommend choosing a tree pruning company? Periodically the leaves have a bumpy texture.