Lost small green tree frog named Hoppy near Eden Park during a picnic in Cincinnati.

I lost my little green tree frog named Hoppy while visiting Eden Park in Cincinnati. He got out of his habitat during a picnic and I panicked when I couldn't find him. He’s small, about 3 inches long, and quite friendly. If you see him, please let me know. I’d really love to have him back!