9500 servers cost only $5M per year? Sounds like putting a positive spin on evicting outdated, idle boxes. Did I tell you I ate my veggies last night?