Prediction: this will become a thread where lots of people will confidently handwave about how Spotify does "so much stuff" that "obviously" they need 8000 people, please jump on this bandwagon, but not provide any actual rigor that would justify why 8k is reasonable, 16k is too much, and 4k too little (nor realize that they should be sanity checking the argument that way).