The post you linked is for a 10-box test.
The more clients you're running, the more benefit you'll get from hyperthreading.

For the price difference between the two, the i7 2600K is probably the better choice.
Unless you're sure, you'll be running a smaller number of clients and won't be doing much of anything else while you're boxing.