Jak prawidłowo zrekompensować pracę w godzinach nadliczbowych?

Pracownik jest zatrudniony na podstawie umowy o pracę w wymiarze 1/2 etatu, oprócz wynagrodzenia zasadniczego przysługuje mu dodatek za pracę w godzinach nadliczbowych po przekroczeniu 7 godzin pracy na dobę. Pracownik wykonuje pracę codziennie od poniedziałku do piątku po 4 godziny. W dniach 8 października 2012 r. oraz 10 października 2012 r. pracownik pracował po dwie godziny dłużej, czyli po 6 godzin.

Czy pracownikowi można udzielić dnia wolnego za te przepracowane 4 godziny?

Czy też należy wypłacić wynagrodzenie?