Leopard gecko missing, blue-tipped tail

Hi, I lost my leopard gecko named Pixel yesterday around 3:15pm near the River Walk behind the Majestic Theatre on Houston Street in San Antonio. Pixel is about 4 inches long from head to tail, pale yellow with brown spots and a distinct blue tip on his tail. He has a small white spot on his left hip and a faint zigzag pattern along his back. I keep him in a small glass terrarium with a heat lamp, and he's very curious and skittish, so he tends to hide in cracks and under planters. Pixel means a lot to me; it's been part of our family since we rescued him, and the thought of him roaming the streets makes me really worried. If anyone spotted him, I'd be grateful for any help getting him back to us.