For what it's worth, baby mangos are in season. I was at the Maxwell Market last Sunday and they had a lot of the small mangos on sale, by the box or separately. I only see them this time of the year. Used to get them in southern Texas every year. They are palm sized mangos. If the skin is wrinkled, they are ripe. I highly recommend getting a box. I'm sure there is a more technical term for them. They aren't really baby mangos, just a small species I suppose.