Ah--an opera house! Thanks, dxb.