just checking, mine is at 3.2GHz w/ 35C idle on stock cooler, if you got to 3.8GHz with 35C i would have been insaaaaanely jealous