Lost AirPods

Hello, I lost my AirPods in the Social Science Hall or surrounding area. Im not sure when they fell out of my pocket but I think most likely in the actual hall.They are first generation AirPods so I can’t track the case and they are missing the right AirPod. Please dm if you find them. I don’t have much hope