Df has worked for employer in public sector for 9 years. He's currently going through a redundancy/reapplying for a job process and then he received a letter from HR saying they'd looked through his contract and realised they've miscalculated his annual leave the whole 9 years and he owes 20 hours annual leave! Can they really demand back from such a long period when it's their error?