With voltage jacked up to 1.425V and NB at 1.25V, I show approx 127W at 3.6GHz on my system. Considering that retail chips will very likely still be at 1.35V, I'd say 3.5 is quite reasonable.