Two questions - has anyone gotten the mini-donuts at Typhoon Lagoon and are they on the dining plan as a snack option?