Red Mango serving sizes?

Has anybody heard of Red Mango? I was just wondering since I tried it today, and it wasn't bad, but I don't think the small looks like just 1/2 cup like it says on their website.  However, as it melted, I notice it lost a lot of volume, so I'm not sure how to log it.  Has anyone else ordered the small and actually weighed it or at least had it measured correctly?

I've been there before. I'd say 1/2c is right but if you're worried just log a few extra calories.