Kierowca jako pracownik samorządowy

Pytanie: Kierowca pracował w wolną sobotę w godzinach od 11.00 do 20.00. Czas pracy ośrodka pomocy społecznej, w którym pracuje, to godziny od 7.30 do 15.30. Za pracę w wolną sobotę kierowca otrzymał dzień wolny oraz - ponieważ pracował 9 godzin - wypłaciliśmy mu wynagrodzenie z dodatkiem 50% za 1 godzinę pracy w godzinach nadliczbowych. Czy dobrze rozliczyliśmy czas pracy? Czy czas pracy kierowcy zatrudnionego w ośrodku pomocy społecznej powinien być rozliczany zgodnie z zasadami Kodeksu pracy, czy ustawy o pracownikach samorządowych (art. 42 pkt 4)?