The 3900 requests per second are likely not constant. That number is probably during their busiest time during the day, so their infrastructure needs to support that kind of traffic. You're right, though, requests per second likely includes all file types.