Be wary of relying on that holiday shutdown as more time off. My company boasts the same but doesn't always give it off. It's dependent on milestones. If they aren't happy with where we are at the end of the year, we don't get the break. My first two years I worked OT during Christmas season.

On top of that, in order to get the holiday time off we have to bank holiday time. That means when most people are off for a holiday, we work it so that it can be used during the shutdown. Ask those questions before you compare that to another week of PTO.