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.