Lost blue stuffed dinosaur left near a playground bench at a park in Mansfield.

I lost my son's favorite blue stuffed dinosaur while we were at the park in Mansfield last Saturday. We had a picnic near the playground, and I think he left it on one of the benches. It's very well-loved with some small patches, but it means the world to him. If anyone finds it, please let me know!