If you're making it out to be as small as you say, then it's not much of a problem. It's really your own personal preference. If it bothers you that much, then get it fixed IF they are willing to fix it. But if you don't mind, then I'd personally just leave it. If you haven't already, maybe you should give the shop a call and ask about their policies on fixing the tint just in case if you wanted to fix it in the future.