Blue coolant eh?does it have to be bmw or can I use an off the shelf ethylene glcol based one to top up?I did read somewhere it is not good to mix brands, but have also seen on some product labels that it is safe to mix with existing coolant....my x5 is diesel and the coolant is blue too, is it the same for all x5 s?