Likewise. It was on the big screen in the cafeteria here.
I took an actual lunch break today (I rarely do so) to go watch the second half in the neighboring buffet/grill. By the end of the match, there were about 30 of us groaning, sighing, and eventually cheering.