Where can you go in Devils Lake to cool off during these hot, dry days? How about the pool at Ruger Park?

Where can you go in Devils Lake to cool off during these hot, dry days? How about the pool at Ruger Park?