Correction: I understand it to be a quarter of staff (the total staff being 26000). So the article is pretty grossly wrong in an important and obvious detail. Not sure how much I'd trust it on the more nuanced but.

(Former booking employee here, but not for several years)