High temps and crested got too hot.

I live in arkansas and have had my first crested gecko for two weeks now, it's gotten very hot today and i noticed his enclosure was at 85 when i woke up so turned the window ac down to max and it started going down below 83 so went about my business two hours later i check on it and was 89 so moved to proper ac an is now below 80. He seemed a lethargic but still leaped a a little ways when i went to pet him to check on him. Could this have done permanent damage or did i react in time? Any advice or tips regarding a crested getting too hot like that would be much appreciated and i hope he will be ok.