Leopard gecko, orange with spots, near Paddock Mall

I lost my leopard gecko yesterday around 5pm after I ducked into the parking lot behind Paddock Mall on SW College Rd in Ocala. It's a small guy, about 4 inches long from snout to tail, with an orange base and black speckles along the back. The tail ends in a lighter yellow patch and a faint blue tint near the tip—really distinctive if you spot him. I had it microchipped (ID 8432-AB) and there’s a tiny scar under the left front scale from a past molt that helps identify him. This gecko means a lot to me—it's been part of our family since we adopted it last year, and I’m really worried I won’t see it again.