Re: Choosing best DDR3 option for the board...
Since you're not going to be doing any overclocking, the G.SKILL Ripjaws with the lower timings would be you're best bet. They will more than likely need to be set to the correct timings in the BIOS.
Yes, the memory will default to DDR3 1333. In order to run memory rated at DDR3 1600 speeds on that board, you would need to set that speed in the BIOS, essentially over clocking them to the desired speed.