Lost red-handled wire cutters at Ithaca Commons while working on a DIY project.

I lost my red-handled wire cutters while working on a DIY project at the Ithaca Commons. I had them with me while I was fixing some personal items. I must have set them down and walked away without realizing it. They're a bit worn but still very functional. If anyone finds them, I'd appreciate it if you could reach out!