Yeah go with the PC4000 G. Skill Ram, it is THE BEST ram, samsung TCCD's. Well this is, for overclockers.
That's DDR533? speeds on that ram stock, that means you can do alot of overclocking until your ram becomes the issue, and it runs that way at pretty tight timings for that speed.