Hilarious conundrum!
But he is right. Actually, when i take off the stock TIM and replace it with AS5 half the time the temperatures go up! So i think it would be better just sticking with the stock thermal paste because they made it very easy to do.
You wont have to re-mount it 6 times to get the best results.
EDIT:
@XMSYellowbeard
Do you have any relation to the "yellowbeard" from xtreme systems? I dont think so, just wondering.