I would second the vote for a pickering tree. Very dwarf and precocious. Another possibility You might consider is a rosigold mango. It is dwarf and mine has been very productive at 5-6 feet. 25 mangos last year,50 mangos this year on kind of a scraggly tree. Fruit size is on the smaller side, but this may be beneficial in your situation. Not my favorite mango flavor, but I have a lot of friends who really like it. It will definitely beat a store bought mango.
Ice cream and Julie were the other possibilities, but I think they are a little more finicky about soil pH and nutrients and disease issues(At least her in FL.). I basically just mulch my trees as they are in ground.
I would definitely rule out Glenn, Cogshall, NDM, and Mallika. Manilita I am not very familiar with.
Fairchild might be an option, again because of the small fruit size and the tree would be considered semi-dwarf here in FL.
Good luck in your adventure!