I was expecting to see lines of people getting tested. Nope. There was one location, no line, and a small staff administering the tests. I take that to mean that the large majority of those in attendance were vaccinated.

FWIW, I saw a student turned away when he couldn’t produce his vaccination card and did not have test results. He claimed to be vaccinated and was pretty frustrated.