As there were no performances at the Opera House we decided enjoying lunch in the Opera restaurant would be the next best thing.