Leopard gecko, small green with orange spots, lost near TAMU

I lost my leopard gecko yesterday around 3pm on George Bush Drive near the West Campus Library. It's a small 6-inch gecko, lime green with bright orange spots along its back and a pale yellow belly, with a tiny scar behind its left eye from a shed. It lives in a 6x8 inch glass terrarium with a black lid and a small heat mat, and there's a blue ID sticker on the tank that reads Rex. This gecko means a lot to my family—it's my son's first pet—and I’d be forever grateful if someone spotted it wandering near campus or turned it in at the Lost & Found in Bryan/College Station.