Doesn’t the fbi have 36k employees?
But "employees" is not the same thing as "workers" - esp. with gub'mint jobs