You can get a pair of X5670s for under ~$900 with some patience and X5680s for $1,500. So I'd really consider whether a. the clock speed is worth that extra (is it going to give you that in productivity?) and b. if it is worth paying someone to do this for you when it is so easy to do.