I don't think you'd notice a difference between either especially in daily, real life usage. People get too caught up on stupid benchmarks. I grabbed a Samsung 840 non-pro the first day they came out which is under $100. Been working perfect since day one and fast as hell.
"The only thing that comes to a sleeping man is dreams."