I ran some tests and benchmarks with 4.0GHz and 4.2GHz OCs. The 4.2 OC is just 4% faster than the first one, but runs over 10 degrees hotter. Is it really worth it to push it to 4.2GHz, if all I do is gaming?