I'm using a 120GB HyperX 3K. It is very nice.
According to reviews the regular HyperX (not the 3K) is a bit better performance wise, and of course it is 5K. According to same reviews the 840 Pro is way better than both.
Here's what I'm getting from my HyperX 3K, which is actually a tad better than advertised.