They have replied.
"The annual leave entitlement is 25 days excluding Bank Holidays, contractually we have not stipulated the number of bank holidays or whether they are paid or not."
Then some screenshot saying there's no legal entitlement to bank holidays off.
"You don't actually have to grant employees bank holidays or public holidays as paid leave. There's no legal precedent that says these must be paid.
As an employer, it is entirely up to you whether you choose to offer bank holidays as paid leave. Whatever you do choose, your employees' entitlement to paid leave should always be outlined in the employment contract."