I think their flavors change frequently. I didn't see that flavor on the menu while I was there, but that doesn't mean they don't make it... that sounds like a seasonal flavor.
Not sure, but it's a great possibility. I dont live there, but grew up there, and visited, the last time I was there!
Thanks! Your answer is awaiting moderation.