4 ms·

I don't think so. 9 people was mentioned in 2013. Tallying up the costs seems more current and the picture of the team shows 50 people.