Those were before my time but it's a great theatre. Thanks for making me burst out laughing when I read those theatre names!
