Jak rekompensować niepełnoetatowcowi godziny pracy przepracowane ponad obowiązujący go wymiar czasu pracy?

Zatrudniamy pracownika na 3/4 etatu. W jego umowie o pracę znajduje się zapis:

"Pracownik jest zatrudniony w wymiarze 3/4 etatu, 5 dni w tygodniu po 6 godzin na dobę, przeciętnie 30 godzin na tydzień, przy czym dodatki za godziny ponad ustalony w umowie o pracę wymiar czasu pracy przysługują od 8 godziny pracy w danym dniu pracy. Praca w wymiarze 7 godzin jest wynagradzana na zasadach ogólnych bez dodatku za pracę z tytułu pracy w godzinach nadliczbowych".

Pracownik ten pracuje od poniedziałku do piątku w godzinach od 7:00 do 13:00 (po 6 godzin). Wynagradzany jest stawką miesięczną. Jednego dnia pracował godzinę dłużej.

Czy należy mu wypłacić wynagrodzenie za tę godzinę pracy, czy pracownik może wykorzystać ją jako czas wolny?