I had someone work on my house yesterday and they accidentally opened the pool fill for ~20 hours. I have a completely full pool almost to the brim. I have a limestone casing. Should I drain? I live in Austin and it's still hot here so I'm sure it will be back to normal in a couple weeks. There's not a lot of stuff falling into the pool at the moment so the skimmers not working as effectively isn't a big deal.