Ele esta certo. Considerando que a jornada semanal dele é de 44 horas e compensa o sabado durante a semana, sendo o sabado feriado, ele tera direito a hora extra 100% ou compensação na semana que ocorre o feriado. Isso porque se ele trabalha-se no sabado, ou não iria trabalhar porque a empresa não abriria, ou teria hora extra. Mas o contrario tambem é valido quando tem feriado na semana. Mas poucos fazem o controle correto.
Espero ter te ajudado.
Tenho um instagram focado na area do departamento pessoal, inclusive esse foi um assunto que abordei. Me siga @kathleen_deppessoal