Ah, I stand corrected. Didn't see that from up in the nosebleeds. I just remembered that we arrived as the opener was starting, so we must have missed the admonishment at the beginning.