The bike shop used another mineral oil. If they had some older magura mineral oil sitting around it would wont be red...more green, or natural color! You said it smelled like baby oil...so it IS mineral oil! If you mixed them it's nota huge issue...the only difference would be in the weight....i.e. just like fork oil(which alot of it is also mineral oil).

Here's an idea...since you have brought the thing to you LBS a ton of times..instead of bring it back again...try and bleed em yourself and see what happens, if you screw it up oh well you were gonna bring it back to them anyways!

Don't worry about the oils...the stuff in there is mineral oil. If you smelled brake fluid it'd be pretty harsh..nothing even close to baby oil.