Yeah, but those are national holidays, meaning they have the day off work. Christmas isn't a national holiday -- that would be new year where almost everywhere is shut down, even my company!

I still don't know. I can't leave it too late because of the new year post...