Not sure on how many are to replace leavers, but safe to say the huge majority are additional. Other departments are taking on just as many too, valet parking and bussing also seeing many additional staff. All good for the local economy
The other point to note is that new starters are usually at the start of the summer season, and only for the summer season, but noticing that we're still seeing numerous batches of new starters throughout the year and beyond the end of the summer season, and they all seem to be permanent rather than short term seasonal posts.