The guy is a light to medium gamer and wants to learn how to overclock. We've pretty much decided on everything else, E7200, 2 gig of Ballistix, 9600 GT. I've not done a build with either board, but I like the way the MSI handles overclocking from what I've read. If the Abit IP35-e were still available there would be no question.
Thanks.