There probably aren't many conclusions to be drawn about the state of the West End's historic theatre stock from the incident at
