I would leave it. On a project that size, I would not even think about ripping out and redoing. But if it is going to bother you forever and ever, it might be worth it for you to do it. I don't particularly stress about things like that, though, because I figure who is really going to notice that 1/8" difference?