A quick dip in lieu of showers at Ochono Lake County Park