 continues to come ashore and then makes its way as a tropical system, as you mentioned, Gary. Up through Texas, mostly eastern Texas, Dallas will get some of the rain. We're actually only going to see a high as a result of it in the mid-80s later today, which is rare, but it's because of that tropical system that's going to bring that rain on and off throughout the day to Dallas.