Ah that's too bad it was stolen.
Mine has shrunk too in the nearly 40 years I've had it. I like my hat so much that I bought a hat stretcher and every few years I soak it in water and then stretch it before the season so it fits again.
View attachment 84793View attachment 84794