Holiday hours are usually shortened, but the only holiday they actually close for entirely is Christmas. I was out of town so I didn't look, but they will post their hours at the front desk prior to a holiday.
From what I could tell closed.
Thanks! Your answer is awaiting moderation.