Many thanks, guys! I'm off to buy bleach. Am I right in assuming that if I go a bit overboard in the dosage - say 11 gal instead of 8.5 - that the only lasting consequence would be a small rise in salt level? I'd think that adding bleach in the evening might be a good idea, to avoid uv.

Here in Georgia, just south of Atlanta, we have a loooong pool season. 'Course our personal season will start a little late, but we should be splashing well after labor day.

Thanks again. I'll keep The Collective Mind posted.