I’d guess either of the referenced CPUs will do just fine and perform in a similar manner. While it wont help you at this time it would be great if you could add some data to the spread sheet referenced in the first post here:
That is, when you have made your decision!