извините, но вот это "потерянный " день отпуска, Вы можете использовать по своему успотрению позже"- чушь.
число праздничных дней исключается из отпускных, т.е. вместо 25 дней будет считаться как будто вы взяли 20 (если было 5 праздничных) и оплата будет производится именно за 20, вот и все.