My family is going to SeaWorld for a day this October, and the only thing my 10yo son wants to do is eat at Sharks Underwater Grill, so we are eating there for lunch. The park hours the day we are visiting are 9 AM to 7 PM. Can anyone give me an idea how fast service is at Sharks? I'm trying to plan the day, and prioritize things to do, but I can only guess at how long to allow for this meal. The lack of reliable info is very frustrating for an overplanner used to Disney World.