Came across tiny looking mangos at the store here in San Diego. The mangos looked to be around 2-3 inches in length and they looked like tiny manila mangos. I asked what the name for the mangos were but they simply told me they were niņos mangos. Wondering if anyone here might know the variety.