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.
I'm looking for a laptop that will be primarily for school/browsing the internet. However, I'd like it to be powerful/ have a good enough video card to run basic games. I'd like something that could at the very least run Half Life 2. If it could run starcraft 2 at lowest settings, that would be nice. Beyond that I'd just like it to be cheap as possible. Any suggestions?