If your mamey is a grafted pace, then that would be my choice. You guys up in the palm beach area have sand and can actually grow and fruit the mamey, and the pace mamey is heavenly. To me it tastes just like caramel. The other benefit is that it fruits in the early spring (march - may?), so you get fruit when there's nothing else to eat.
The mamey america seedling will likely take forever to flower, and if you're unlucky, you'll get a male tree. Mamey americana is a fantastic fruit (like a top of the line apricot), but I'd plant a grafted tree vs a seedling. Also, they tend to bear during mango season, which means fruit overload. There are some cultivars that bear twice a year, but they are currently unproven in FL (I"m in the process of testing one).
Maha ... I guess lots of folks like it. To me it was bland... ? Maybe you should try one first. Personally I see it in the same light as a glenn in terms of flavor. Some like that subtle, watered-down flavor. Others don't.
Jaboticaba is great. It bears during the spring and fall, but it does like lots of water. It stays compact and can be grown underneath some of your bigger trees if needed.
Vexator is inferior to jabo in my opinion. Decent flavor, big seed, little bit of that eugenia / piney flavor. Stunning landscape specimen though that can be grown in tight spaces and under bigger trees.