Is there any difference between Mini branded coolant and BMW branded coolant? I ask because TheBMWPartStore.com shipped me the former when I ordered the latter, and I don't know whether I should insist that they exchange it. It's for an E38. (If I wanted something "almost" like BMW coolant I could have bought Zerex for less money.) Thanks!