Halo Studios (formerly 343 Studios) is down to 20 employees, mostly network specialists who run the servers for live games.