I didn't know that the 25 days of PTO we get must be used to be paid for holidays. I knew they were for sick time, vacation days, and personal emergencies. But they also must be used to get paid for the holidays that the employer "gives" us.
How does it work at your place of employment?