Should Dexcool be switched for another coolant in a GM 3800 V6?

Dexcool has a tendency to cause corrosion and sludge if air is introduced into the cooling system primarily through leaks. It also has had a deteriated effect on gaskets made of a certain materials. The newer models and car parts have adapted to the deteriation part of the problem by using gaskets made with compatible materials. One should never swap coolant types while under warranty. But after that you will find extremely knowledgeable and experianced mechanics recommending getting rid of Dexcool and replacing it, and there are just as many recommending to leave the Dexcool in.

I can't reference a source. But when I was in college I've watched demonstrations of disassembled engines that had sludge built up in the coolant passages with dexcool at around 100,000 miles. I can't quote the sources, but upon doing investigations on the internet I've seen good articles on the effects of air introduced with dexcool. I worked for a shop owner that was the most knowledgeable person I know in the automotive field in my area. He would replace all his customers dexcool vehicles with green when he did cooling system work, as long as they were not under warranty for these reasons. I have never witnessed this sludging but I am satisfied with the research I've found to change out dexcool the first time I do a coolant drain or change.

If I were you, I'd get rid of that Death-Cool ASAP and replace it with something like Prestone Yellow, Peak Global, Turbo Power (RecoChem) Global or Prestone Celsius. They can be used in all makes, all models and mix safely with all other antifreeze colours. They are five-year longlife antifreezes so there's no loss of longevity and they don't do the damage that Death-Cool does:

GM Owners Still Steaming Over Dex-Cool "Aug 29, 2006 - Ten years after General Motors began using Dex-Cool as an antifreeze in most of its cars and light trucks, GM car and truck owners continue to complain that the coolant corrodes and clogs radiators and radiator caps, erodes water pumps, rots radiator hoses, causes chronic overheating and engine damage while leading to ..." https://www.consumeraffairs.com/news04/2006/08/gm_dexcool.html

The Global formulations are also less expensive than Death-Cool and in a pinch, you can top them up with anything without worry of problems because they won't react adversely to being mixed with another colour.