I was more concerned about the name of the “holiday party” they were attending at the brewery!
Our Annual party was always held over the Holiday Season (Thanksgiving, Christmas, New Years, Hanukkah). Perhaps you have a Christmas party, but most have an annual party.
In the summer, we had an annual company BBQ. It wasn’t a 4th of July BBQ, it was the annual BBQ.
.....Bob
Yeah, I can’t find one beer holiday listed as happening on Dec 13.