Both cars are late 80's vintage. Normally, I have only ever seen blue coolant in them.
Any coolant that I have bought off BMW has always been blue.
I am going to call them tomorrow and enquire what coolant they use. I don't want to accuse a garage of something without being sure that I am 100 percent correct.