I would say he is entitled otherwise he would not be receiving benefits the other employees get. You would either pay him the 8 hours holiday in addition to his 40 hours, or give him 8 hours off at some point in the future. It would be the same situation for the bus drivers I think.

