When I had both an Angie and a Pickering tree, the Angie would lose a ton of leaves every summer, but it never seemed to affect the health of the tree. The Pickering tree, on the other hand, kept its leaves. I still don't think you have anything to worry about. I've seen other mango trees drop leaves in the summer.