Yes they did when i was there
There is a "Market Place" located within the restaurant which rotates its items quite regularly. I know the item in question has been sold at this location before, but I'd call up before making an adventure of it.
I've seen it there before. But like others suggested definitely call 1st, especially with the holiday shopping going on
Thanks! Your answer is awaiting moderation.