I'm running Dexcool, over 10K miles now. Switched to it at 20K.

For the flush, because I knew this would be very important, I stuck the garden hose in the overflow tank and let it go for about 25-30 minutes.

I really really think I got it all.

No sludging to be reported.