Thanks guys. I don't think any of the oil dripped on the break pads or the rotors, the bike was inverted at the time. It just guzzled out a bit from under the loose bolt. I can see that the impacted break squeezes perhaps 10-20% more than the break I didn't mess with. Still breaks fine, just goes a bit further in.
I am thinking of getting a Magura Royal Blood bleed kit and bleeding the thing myself (never done this before), as I feel that taking it to the shop might end up with a different oil being mixed up with the original. I guess I could ask them to show me they have this 'Royal Blood' one, if that's important...
Last edited by Fandomii; 02-04-20 at 03:13 PM.