I was making RODI water lastnight. I asked my husband to go turn it off. In stead of shutting off the DI, he turned on the fast flush. I didn't happen to notice this until just now. Is this water still okay to use? I use a booster pump (we have very low pressure), which luckily was off, so...