We have the same setup here, Tom.

A person starts here with 10 days of Paid Time Off (PTO), plus the standard holidays, New Year's Day, Memorial Day, July 4th, Labor Day, Thanksgiving, Christmas. We work a half-day on Christmas Eve. The person earns the PTO ... Login to read more.