He doesn't need to download it via some type of P2P network, and I've see a few direct downloads for the Halo PC ISO floating around. I thought Modacity even hosted one for awhile somewhere...