There is no situation where the brand of the tippet is going to make a difference in my opinion, all else being equal. Replace if needed, but do not bother otherwise.