Thanks for the info, I'm not sure if Arcadia is own by Edmond city or is there still a permit thing for the lake.