Depending on where he lives in the world, sometimes distilled water isn't as readily available at the local market. But yes, distilled water would be simplest and cheapest, depending on actual availability. Avoid drinking water as it is typically mineral water or 'stuff' added back to make it taste good.