Czy za pracę w święto pracownikowi przysługuje dodatkowy dzień wolny lub dodatek do wynagrodzenia

Pracownik zatrudniony w restauracji, pracujący według grafiku, wykonywał pracę 6 stycznia (w dzień ustawowo wolny od pracy). W danym miesiącu nie wystąpiły nadgodziny. Dzień wolny za pracę w święto odebrał 7 stycznia. Pracownik uważa, że za pracę w święto ustawowo wolne powinien otrzymać dodatkowy dzień wolny albo dodatek do wynagrodzenia. Czy ma rację?