This is one (a very small one) of the 5 theatres in the Opera House. We did an architecture tour of the building and its construction really is amazing.