4GB RAM should do just fine. I myself am only using 4GB RAM, and I have not had any issues. Since he is having the phenom II he has DDR3 RAM which should be fast enough no matter what brand, speed or timings it has, unless he has manually set it to 666Mhz, and even that should be able to run GoldSrcds games nicely.