if your using the stock sink, you dont need to worry about what TIM your using.
Because your sink will limit you in overclocking anyhow.
So i would listen to mark, and either leave it as be, clean it off with alcohol and use a better tim.
But dont do both.