We heard that as well. At first we thought someone was playing music somewhere since it's uh, an opera house.

... obviously not, since everyone else heard it.