Red 3-ring binder of vintage Topps cards

I lost my red 3-ring binder filled with vintage Topps baseball cards from the 1960s. It’s about 9x11 inches, with a clear plastic sleeve cover, and there are roughly 40 cards inside, including a couple of notable 1962 Topps rookies. The binder’s spine has a black marker label that says 'Topps 1962 Set' and there’s a small pencil note on the inside cover with the initials 'WHHS 1962'. Yesterday around 3pm I realized it was missing after I left my car in the parking lot behind the Worthington Public Library on Main Street. This collection is a real labor of love; it holds sentimental value and I’d be heartbroken to lose it. If anyone found it, please get in touch — I’d really appreciate getting it back and I’m hoping to pass the set to my nephew someday.