Really? Thats a little surprising. Hes already got two ssds in raid 0 for a boot drive, I would think he should go the way of saving money. I guess I am the odd ball of the group that doesn't really care about loading times?
Edit: alternatively he could grab the 240 for a boot drive (which would likely be faster than two 60 because of the higher density)
Then use the additional 120 for games. He would get roughly the same performance and an additional 60Gb of space.