You can probably do it with 2,500 engineers. Maybe even fewer.
Not that many of the 25k work on the core apps.