These two side by side mango trees are the largest I have seen:

Tip of shoe for scale:

Other guy:

Baby fruit:

My biggest Mango is this little Alfonso variety.   Not so big even though it has been in the ground here for roughly a decade.   They are somewhat uncommon here.  This one is actually threatened as well.  My wife wants to replace it with a different tree because it so rarely produces viable fruit.  It is trying to cooperate.  It is currently loaded with flowers.

Sometimes a good threat is all you need to jumpstart a plant.

Two more smaller but well tended. These trees are ubiquitous and when the fruit starts falling in early summer, it gets very messy!

I've got a couple one gallons. I think they're Kiett. They'll never ever fruit here, they're in the freebie forum if anyone wants them. I grew them from seed a from fruit from the Guatemalen market. I tried the yellow ones but they're apparently irradiated before they cross the border.