This seems to be ~20% of their total workforce.