Get the 4870, you can crank up the E8400 pretty easy even on the stock cooler, with something better you could run it all the time at around 3.8-4GHz, 8500 will do it easier.
FYI those 512 4870 are 'while stocks last' iirc, I picked up the last one at Clayton the other day.