Red Nike Dri-Fit shorts with neon drawstring

I lost my red Nike Dri-Fit running shorts yesterday around 3pm after a training session at the David Ross Sports Village on University Park. They're size M, bright red with a black Nike swoosh on the left leg and a neon-green drawstring that's a bit frayed. The shorts are in good used condition, with a small white chlorine stain on the back waistband from pool sessions last month. I think I left them on a blue bench near the indoor track by the gym, possibly next to a white water bottle with the name 'Alex' on it. They aren’t just gym clothes—they were a gift from my sister and they’ve become my everyday training pair, so I’d really appreciate getting them back.