Nah, but for real - why wouldn't they take PTO?

Because they already used up their PTO?

Every place I have worked has had meticulously tracked PTO days that most people delayed taking until the end of the year; there were notably fewer people in the office in December.