The website is vague...Is there any basic places to eat in Sea World? Something like counter service at Disney or even a cart to grab a hot dog to eat at an outdoor table. I saw the eat with Shamu and the Luau, but we don't want to spend the money for a family of five. The all you can eat picnic (I think that is what it was called) but I want to be aware of what my options are.