Blue work ID badge with photo and red border

I lost my blue work ID badge with my photo and a red border around the edge, about 3x2 inches, attached to a black retractable lanyard. I last had it yesterday around 3pm near the Walmart on Veterans Boulevard in Del Rio. The card has my name, Ana Martinez, and a small security barcode on the back. There's a faint coffee stain on the front and a tiny scratch on the lower-right corner. This badge is my key to the building, and I really need it back ASAP. If anyone finds it, please drop it off at Walmart's customer service desk or anywhere convenient—I’ll figure out a pickup or return path.