I finally caught a show in the Kennedy Center Opera House. Yes, it's all that.
Surprisingly, I saw a lot of people with cameras inside. The facility is impressive, in a new-school-paying-honor-to-old-school way. Next time I will be taking my camera. No doubt.
... and the show was wonderful.