Yeah, might as well be concerned.
I just think that it's better to check and be sure. Take the cover off and measure. If it's got the problem parts change them, rather than wait 'til it breaks at an inconvenient time/place. Mine and some others went at around 2,000 miles, but there are ones that have hung on 'til 6 or 7,000: so you never know, 'til you look see.
If you can't get parts easily then you'll have to wait, so again, better check and then be prepared/order parts. If you need to order parts, you could then put the box back together while it's still working and keep riding until parts arrive. Better still, file the boss down to the right size. That's as good as getting a new one if you do it carefully, but I'd still fit a new spring as the old one will be stressed.