There'd be more than the consumer-facing systems. Whether they require 4000 people to run it all is another question, but without a deeper look into what's running, it would be hard to surmise.