So we came in to a bit of unexpected money. Decided to switch from Coronado to Boardwalk in June (yaaaaayyy). Very excited about the location, and our first time at a deluxe. Our only small concern is we have is that generally in the morning we would do quick counter service breakfasts. With the lack of quick service, what are the best options for a quick hot breakfast??