Leopard gecko, orange-spotted, in glass terrarium

I lost my leopard gecko, Mochi, yesterday around 6pm. He is about 4 inches long, pale yellow with bright orange spots, and his tail is a bit chunky from eating well. He lives in a 10-gallon Exo Terra glass terrarium with a blue heat lamp and a cork bark hide, and he has a small white dot on the tip of his tail and a faint scar on the top of his snout. I last saw him outside the Texas Tech University Student Union Building by the big oak on 4th Street and University Ave, and he could have wandered toward the grassy areas behind the library. Mochi means a lot to me, and I am really hoping someone can help bring him back.