I don't know the answer, but in case it helps, the counter service attached to Yak and Yeti has a "Mango Mini Pie" listed for $3.59, which sounds like it's probably a smaller version of the same dessert.
Yes, they have that at the cs place. Its very tasty and refreshing. Its basically a key lime pie with mango instead of lime. My son is already planning on getting a piece or two in October!