4 ms·

Sounds about right. 200+ people for 4-5 years, pretty much all highly specialized + all other expenses.