We're in town for 2 operas at the beginning of August. We know there are not a lot of restaurants close to the opera house? What are the best bets for an early dinner before the opera? Should we opt for the pre -opera buffet (and is that all indoors) or are there better options? Not sure tailgating would be a great option for us - we're on our own.