I reccon you should look in if you can disable cores in windows boot up parameeters, or anything like that, or run ACC hack that actually will make the 4th core not run at all.

then you got one core for free, thats 40 bucks straight in youre pocket