Leopard gecko missing from Exo Terra tank

I lost my leopard gecko yesterday around 3pm near the USU campus on Main Street. It's a small 4-inch gecko, tan with orange spots and a slightly ragged tail; there's a tiny white speck under his left eye. It was in an Exo Terra 20-gallon tank with a red heat lamp; the lid has a scratch. I had him out for enrichment and think he slipped out when I was cleaning the tank near the student union. He’s a big part of my little family—I've had him for almost two years, and he was a gift from my sister. If anyone finds him, please message me; I’d really love to have him back home!