Hmmm... Looks like I'll be going for the 3.2GHz DC in that case.  The EE is about 400eur more expensive and it doesn't sound like it'll make much of a difference for the amount I'll have to pay.  Thanks guys, & once everything's finalized I'll post the specs for my new rig for y'all to drool over. 
