Carl,
They didn't have them dump the pool twice. Those are partial drains and refills. This is a big pool --- 94K!