Blue plush dinosaur with red scarf

Found a blue plush dinosaur with a red scarf this afternoon near the Mobile Public Library on Government Street. It's about 12 inches tall, with a soft, slightly matted blue fur and a tiny green tag sticking out from the seam on its left foot. The dinosaur has embroidered eyes and a small orange patch on the belly, plus a barely noticeable scratch along the tail from a kid-friendly tumble. I figured it probably belongs to a kid who’s missing it after a visit to the library or the nearby bookstore; I’d really like to help reunite it with its owner.