Anyone pick up a black RRD Hypertype 12M bag (only) with a yellow RRD pump inside at the upper launch yesterday? We left around 6pm and realized it was missing and went back around 730pm, but it was gone. It may have a business card with my name on it (Edward Kim) but the contact info is outdated.

Not a big deal, but seems like someone may have picked it up so would be great to get it back.