I asked the same question when we bought this place. It was suggested that we remove trees less than 4 inches in diameter and leave the larger ones. It seems I have a small leak as well but it doesn't seem to be significant enough to require a repair right now. That looks like a beautiful place.