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