What differences are there between the PentiumG 3250 and the similar-sounding G3258? While I am still looking to build around the latter, the former sounds like the closest equivalent in OEM PCs, and I'm wondering what real-world differences there are between the two.