It was the Lenovo y530 with the Intel C2D CPU and Intel 4500MHD. It did HL2 ok but now he's moved up to a gaming laptop. That Lenovo was 499 but a gamer would be upset on that.

Try 999 and look around at the usual gaming laptops at newegg.com. Since it is a gaming laptop be sure you are ok with 2 year life spans which is typical since gaming takes its toll.
Bob