Red portable audio mixer with USB-C

I lost my red Behringer portable audio mixer yesterday around 3pm near Cardiff Central Library on Westgate Street. It's a compact six-channel mixer that uses USB-C for laptop hookup and fits in a black neoprene sleeve. It has a couple of distinguishing marks: a small dent on the top-right corner, a white sticker with a guitar silhouette on the back panel, and a tiny blue dot sticker near the input jacks. This mixer is central to my podcast setup and really means a lot to me, so I would really appreciate getting it back for an upcoming recording session. If anyone finds it, please drop me a line.