Theatre audiences are a bit odd though. In the summer we had a fire alarm go off mid-performance - flashing lights and audible evacuation announcements in the auditorium, fire brigade arriving with bells and whistles, the works. Nobody moved, and afterwards the only comments were along the lines...
NIMAX (the owners) don't have a great reputation in the West End for the quality of their buildings. I have a feeling that everyone will be getting builders in in the new year...