Lost small bright green pet green tree frog named 'Hopper' at Wichita Zoo.

I lost my pet green tree frog named 'Hopper' while visiting the Wichita Zoo yesterday. He must have jumped out of his enclosure during our outing, and we searched everywhere but couldn't find him. He is small, bright green, and very friendly. If anyone spots him, please let me know, I’m worried he might be scared and lost.