What should I do, though? I can't reproduce the bug myself. I've never seen it myself. For me, doing the change would make zero difference since I cannot prove I have dealt with it!
So, I will say it again. If a user is seeing it regularly and consistently, then yes, it's worth doing to see if it makes a difference. But users who *don't* see it can't use it because there's no way to know if it actually solves the problem.