You should have specified that, lol. I think pretty much anyone would have inferred exactly what I did from that question.
Anyway, yes Mushkin is good, but brand isn't really all that important, as long as it's a well known, name brand (Corsair, G.Skill, Crucial, Mushkin, etc.). The fastest of each brand will be equal.
The thing about the Redline models is that they tend to require high voltage (1.65V). Not very good for Intel Sandy and Ivy Bridge. Ivy Bridge is more tolerant of it, but it's still best to stick with 1.5V if you can.
Most of the "fastest" modules (the ones with the lowest latencies) will be 1.65V, though, so take that however you will.
The fact is that 9-9-9-24 1600 is plenty fast enough (more than fast enough for most people).
Sorry, it's not like I was purposely misleading anyone. The sentence simply made sense to me. Any thanks for the info. I'll probably go with Redline.