Has anyone had any good results with Samsung True DDR400 512MB PC3200 RAM and this board? I know it's only cas2.5 and not cas2 but does that really make that big a difference? Is the HyperX and Corsair XMS the only choice if you want to try overclocking the RAM? I would like know before I make a major purchase.