I worked 20 hours of overtime during the week of May 25 through May 29. May 25 was considered a paid holiday. My Texas employer states that since I accrued overtime during the week of a holiday that I will not receive holiday pay, but May 25 will be considered a regular work day. So the 8 hours of holiday pay will be deducted from my overtime leaving only 4 hours of overtime. I don't understand. Even though the holiday will be treated as a regular work day I still should have 12 hours of overtime remaining. Someone please help!