Black 25-key USB MIDI keyboard controller

I lost my black 25-key USB MIDI keyboard controller, a compact Novation Launchkey Mini MK3, yesterday around 3pm. It's laptop-sized, with a small LCD screen, 16 RGB pads, and a row of transport controls, and the case has a few light scratches on the bottom edge. There’s a small orange sticker with the initials KRP on the back, which helps identify it. I last had it outside the Cedar Rapids Public Library on 4th Avenue SE near the bike racks, and this Electronic Instruments gear is essential for gigs and practice—the sentimental value makes me really need it back.