It is fair to say that just about anything goes, as we found timings and even frequency had little impact on performance, at least within reason. Naturally no one is going to use DDR3 memory clocked at 800MHz, and even 1066MHz memory is really out of the question as it's almost impossible to buy. The most common option is DDR3-1333, and as we found this appears to be the best all round option.