Black Novation Launchkey Mini MIDI keyboard

I lost my black Novation Launchkey Mini MIDI keyboard yesterday around 3pm after a quick jam session on the patio outside Waterloo Records on Guadalupe Street near 6th Street in downtown Austin. It's a compact 25-key controller, matte black with red pads, and there's a small dent on the top edge plus a blue sticker with a tiny dragon on the back. It feels like a piece of my setup—sentimental value, since it was the first gear I bought after moving to Austin, and I really need it back to finish a project. If anyone found it, please reach out; I can share the serial number and the spare power adapter I keep in the case.