A friend bought a box and gave me some to try.
All he knows is they're called "Thai" mango at the store.
He said it's expensive, $33+ for a box of about 10 or so. Length is 6"-7".
Tastes sweet and crunchy, with a hint of tar, which I kinda like.
Thanks,
