IIRC that 88K number was a projection for new hires over several years. I doubt they hired the full amount but who know How Many were hired?
But you got the point, ya?