I hear it has been extremely hot down there, but if the water temperature is still cool and they have shaded spots you are probably best to leave them where they are. Otherwise, if you do take them in, make sure you use water from their pond so you aren't changing the chemistry levels to upset them anymore.
Sorry this didn't exactly answer your question but thought I'd add an opinion about them being moved.