We were hard hit by Irma as well. I have six mango trees, over seven years old and 15 feet tall. The ones that did not blow over were snapped off.
For the ones which blew over, completely, I have severely cut back before standing back up. I am in no way an expert, but my understanding is that when the roots are damaged, they can't support the volume of leaves (transpiration.) Also, I think the trees will tolerate a bit of a tilt and the new growth will straighten out. I have even toyed with the idea of only propping them up to a 45 degree angle in the hope they will have less wind resistance for the next time.
Erica