This includes use of music hall, its offices, and the hallway bathrooms.