I wouldn't take one opinion as gospel unless they like the same flavor in a mango as you, it is just too across the board. As far as needing compact, you certainly have a big tree in Valencia Pride and also Carrie. I just yanked my Carrie tree this year after having it in for 22 years. It was 26 ft. wide, that is hardly compact. Also the window of being edible is very short and it is a poor processing mango (freezing) due to it's softer flesh. Once they hit the ground, they are also garbage so you miss so many of them to bruising. They go from green to ready in half a day sometimes, it is a tough fruit to watch and harvest and falls from the tree too easily.
I am pulling my small Cotton Candy I just put in for a Honey Kiss tree due to I think C.C may be too damn sweet. HK is a small tree with late fruit so a WIN WIN. Zills rates Beverly as the best late season cultivar in their opinion but it is a bigger tree and not as late as HK. Venus does not impress me but many like it. HK seems like a fruit that you will not tire of eating either. I replaced Carrie with Phoenix do to it's parentage of Dot, which to me, is about as good as it gets. I have a Peach Cobbler producing now, a decent fruit, but I rate LZ higher as of now but PC is in it's first year fruiting so it might improve a bit. The flavor profile is in your face tangerine. I am a bit overpowered by citrus flavored mangoes in my yard so really wish I had a coconut flavor to offset all the citrus. Just giving you some idea's and think variety can be a good thing. Also how many can you really eat? One Valencia Pride is probably more fruit than you will ever be able eat. Unless you really love that fruit, that tree in my opinion would be yanked for a better flavored cultivar and smaller tree.