Czy wykonywanie pracy przed jej formalnym rozpoczęciem jest pracą w godzinach nadliczbowych

Kierownik i 2 pracowników działu organizacyjnego mają w swoich zakresach czynności wpisaną współpracę z agencją ochrony w zakresie dozoru budynku urzędu. Pracownicy ci pracują od godziny 7.00 do godziny 15.00. Przyjeżdżają do pracy 15-20 minut przed godziną 7.00, żeby odebrać od agencji ochrony klucze i otworzyć urząd. Przy tym zmieniają się i co tydzień inny pracownik otwiera urząd. Czy pracownikom tym należy zaliczać te 15-20 minut do czasu pracy nadliczbowego?