Went for 4th of July weekend and even though hotel was pretty busy check in and check out was quick. Hotel staff were great but on-site restaurant Aqua leaves a lot to be desired. We opted for the buffet BBQ dinner for the 4th of July and ended up eating a hamburger with chips as most of the other choices were gone. Thinking that it was still early about 8:30 and it was supposed to stop at 10:00 they would still replenish the food. Alas, we were disappointed when they did not. That was a pretty expensive hamburger!