FWIW a rule of thumb is that an employee costs a (US) company roughly twice what their annual salary is because of benefits, administrative costs, office space etc. That's still like 6 human engineers.