An interesting thing on the tech side, is that almost all of the lighting and effects in that building are probably controlled via a relatively-ancient protocol called either: DMX or Artnet
https://en.wikipedia.org/wiki/Art-Net
https://en.wikipedia.org/wiki/DMX512
Come from a software/networking background, this was really interesting to me because the address-space is so small! 512 channels per "universe", and most control boards supper only a few "universes".
Part of my life (when I'm not writing computer software) involves shooting fire effects at music festivals, so I have [luckily] gotten really interesting exposure to a small part of the tech that makes stage/theater productions happen.