Guy,
You have a simple, free, and plentiful replacement for distilled water in Vietnam... use rainwater. The key is to avoid dissolved solids in the water, so avoid well water or tap water. I find that you only need to mist the surface, then use a velour brush, then vacuum. Give it a try. 
Hi S Clark.
I should have asked you for your recommendations/suggestions, advises about distilled water before I completed my six hours 80+ vinyl cleaning job.
Now it's too late, it's finish, it's over, it's completed and it's a thing of the past.
Thanks for the advice anyway.
I wonder why I did not think of it myself.
Well, look as if you are smarter than me.
So simple and easy.
The raining season will start soon, therefore,
I will have the chance to fill hundred of buckets of pure rain water,
that will be stored and ready for the next vinyl cleaning job
in several decade from now.
Hopefully it will be sooner than that.
Now that I know how easy it is.
My God, why did I have not thought about that,
me living in Vietnam, where we have lots of rain.
Well, I guess I don't have an iQ of 140, more look like 40.
Thanks.
Guy 13
