I had the same thing to decide, have 1333MHz Ram and just bought used 1600MHz Ram. First thing, I got lucky it worked, second, I just overclocked the 1333MHz Ram to 1600MHz. And finally, I got no performance boost at all, but a bit better feeling because of more memory 😀