hi there, i'm going to buy the x2 3800+ but just realized there are two different cores. one with the manchester core and one with the toledo core. the toledo core is a bit more expensive. what is the difference between these two cores? which is better? is the toledo core worth the extra dough?