Is it ok to top up of a different oil brand?
It does not matter at all, you can mix dino with synthetic and even different weight oils. I try to keep it at least the same weight oil.