Great opera house. We only enjoyed a guided tour. ...

Great opera house. We only enjoyed a guided tour. We have to catch up on an opera visit next time.