Many universities have discounts on electronics like laptops, printers, desktops, etc. He should look at that and see what he can do
If he doesn't have access to something like that, the Lenovo IdeaPad Y510p is pretty good from what I've heard and it fits what he wants, I think.