Hi Stephen
We had no choice of restaurant, as it was booked with our ticket, and was right at the other end of town - which meant a bus each way. A bit of a pain as it ate into the three hours considerably.
There are loads of restaurants all around the theatre, but a lot get booked up with parties. Suggest you might contact the campsite where you are staying to see if they can arrange a table somewhere?
As you can appreciate, when the break happens, 4500 people are all looking to eat at the same time!!
We did notice several cafes with empty seats though as we went to the bus, so you could chance it.
The play is excellent - enjoy the experience. Anything else we can help with, just ask.
Jonathan (humberflyer)