All I know is that at our center any hours worked outside of our posted schedule is double time. It's been a few years since I've done it but that's how I got paid. Regardless i couldnt find any language pertaining to over 9.5 when working a vacation week. I didn't expect so much of a backlash
Personally I don't like people that work their vacations. Here it screws the PT cover drivers that cover those routes.
It also screws people that may have wanted that week if it were blocked out because of too many people taking it.
You don't want to take vacation that's fine. Don't schedule them and get paid. Here if you work it and cover drivers are in the building or its a prime week. I'm filing but that's just me.