So i just RMA'd my Asus P5B Deluxe and have been offered a replacement MB in the $180 price range. The 2 that I am looking at are the Abit IP35Pro and the Gigabyte GA-P35-DS4. I will be pairing this with an E6750 and 2x1GB of Ballistix Tracer PC-6400 RAM. My goal is to hit 3.8GHz with air cooling. Which board would you choose and why?