Don't blow 40% of your budget on a chip that most games can't even use half of. Get something more sensible like the 3700+ for half the price. If he really wants dualcore the 3800+ is less than 10% slower, but nearly $100 less.
Also, I'd buy everything from one store (I like Newegg).