I would recommend going with a 5400rpm drive. It's cheaper, cooler, and still faster than the dvd drive for playing games. I just hope he has a good internet connection because xbox games are a pain to download. Unless of course he is renting and ripping in which case I hope he knows how to hex edit. As for which manufacturer to go with, it really doesn't matter. They will all perform about the same since it really isn't used much during game play.