Just came back from Rockledge Gardens where they said that my 25 yr old citrus trees are probably at the end of their life. They were awesome in their prime but now, not the same. That being said, if I were to have them cut down and the stumps cut out to replace, any recommendations as to which tree company is recommended? I am guessing I would want to get a few estimates.