Согласно ТК РФ - да. Обратитесь в кадры. Либо перенос дней на продолжение после Праздников либо сохранение дней. Зависит от кадров, сотрудника и соответствующим образом оформленных документов.

Согласно ТК РФ как раз то и нет. Нерабочий день праздничным не является и к отпуску не суммируется.

Валерий Гурский, Вы правы, но не совсем. Т.е. правы в том, что прибавлять к отпуску не должны. Минтруд тут весь извёлся на тему своей придумки. А неправы в том, что согласно ТК РФ. Насколько я понимаю такого понятия как "нерабочие дни" нет. Это очередная придумка ВВП, которая неурегулирована законодательством.