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