Good point on the flush. He just keeps distilled (I think distilled) water in the truck for top ups. He hasn't needed to yet.
He did say when he flushed his green coolant, it was clean, no sludge etc. Maybe the coolant itself, although it looked good, was just past its best?
I may just flush...