Leopard gecko in glass terrarium, orange-tail, lost near campus

I lost my leopard gecko Pico yesterday around 3pm. It's a tan gecko with olive-brown blotches, about 6 inches long including the tail, living in a clear glass terrarium with a red heat lamp and a little cave decor. Last I saw Pico, he was slipping along the edge of the campus library entrance near University Street in Eugene. He has a tiny white scar on the left hind foot and a faint blue patch behind the left eye, plus an orange-tinted tail that makes him easy to tell apart from others. This gecko is really special to me—he was a rescue and means a lot to my family—and I’m truly hoping to get him back. If you spot him, please message me here in the app; I’d be forever grateful.