Hate to burst YOUR bubble - but here it is.
"The following shall be recognized as paid holidays and all full-time seniority employees shall be paid eight hours straight time pay - NYD, Memorial Day, Independence day, Labor Day, COlumbus day , Veterans Day, Thanksgiving Day, day after thanksgiving day, Christmas day, and Dec 31. Part-time employees paid (4) hours.