Leopard gecko Mango, yellow with blue dot

I lost my leopard gecko Mango yesterday around 3pm. He’s about 6 inches long from snout to tail, yellow with black spots, and his tail is a little kinked from a past tumble. There’s a tiny blue dot on his left hip that helps identify him. Last seen near the Sandusky Public Library on Meigs Street, by the fountain outside the main entrance. He tends to hide in warm spots, so he might be tucked away in a sunny windowsill or under a bench in a shaded spot nearby. This gecko is a gift for my daughter, and we’re really worried—we’ve been calling for him every few minutes since he vanished. If you spot Mango, please email me with any sightings.