From the IRC logs:

<filmgoerjuan> is the D.C. Opera at the Kennedy Center?

<brownpau> Yeah

<filmgoerjuan> isn’t the sound of the space shuttles taking off kind of distracting?

<brownpau> …

<brownpau> That took a while to sink in.