I think it has more to do with process than product.  True distilled water is
just that, but so-called de-ionized water is manufactured using a de-
ionization column rather than a distillation process.  Whether the end result
in this instance would make a difference is beyond me.

Hope everybody has a nice Spring . . . on the road.

Sam (Phila)
'91 Carat 90K
Heads & Gaskets replaced ~70