[caljeff]

Paid holidays are part of negotiated labor contracts. It takes another negotiation to remove same. Covered workers are generally reluctant to lose a "benefit" regardless of the reason.