Ambas opciones parecen válidas.
De todas formas, si trabajar ese festivo supone horas extras y no trabaja habitualmente festivos, probablemente habría que pagar la hora ordinaria con un incremento del 75%, salvo descnaso compensatorio, según RD 2001/1983.