I've been reading some of the horror stories about Dex-cool on the internet. There seems to be numerous stories about sludge, short gasket life, and corrosion throughout many current GM engines. What is the consensus among the CK5 guys who drive new GM vehicles? Any problems? Has anybody switched to the regular green coolant with any ill effects? I ask because I just bought the wife an '01 Pontiac Montana and it currently has the Dex-cool in it. The intake gaskets were replaced in '04.