Your choice, of course, but why only 3.5GHz when more than likely it will go quite a bit higher with no effort? You might be sitting on a diamond of a chip and not even know it unless you start digging. I say crank that sucker up to 4GHz if you can reach it.
