BMW's use OEM blue coolant.
Mini's use OEM pink coolant.

I am guessing that when the mechanic saw the existing pink coolant in the car that he refilled it with the pink stuff.