We were actually coming to Eisenhower State Park but it was reservation only. CH checked the website the night before and no mention of being full or reservation required.

Well that OK, we drove to the Oklahoma side and the situation was the same. So we drove to the dam and looked around then headed back to Dallas.