You shouldn't have any problems hopefully - If it does then a flush is a quick fix anyway. It is a good product.
I use a Penrite oil in the diff which is dyed blue. I wonder what the service folk would make of that? Probably wouldn't care or notice .