[Starkler (Geoff)]

Does it really matter?

The day after you wash your mirror it wont look spotless anymore, distilled or demineralised, not much difference.

Water saving tip: Do your main rinsing with tap water, then flush that away with the distilled/demineralised.