An hour and a half later when I left, I was very full and the two beers and two snaps had made a noticable impression on me so I was glad to go back to the hotel for a little lie down before heading out to the Old Stage (the original opera house before they built the huge new one) which was just up the street back where I arrived on the Metro.
The opera house looked exactly as you would expect an opera house to look. The house opened at T-60 and doors open T-30, but there is a cafe and a shop\box office in there which are open for quite a while earlier on performance days.