Mini dealer will want you to run until the oil service indicator comes on, which could be more like 15,000 miles. I think this is too long for a reasonable change and for my 2009 MINI I drained the oil @ 7,500 miles and replaced with 5W30 full synthetic without changing the filter. I didn’t reset the oil service system and then plan on changing oil and filter @ ~15,000 mile or whenever the system indicates it is time to change. Talk to your dealer about the service. I wasted a trip to the dealer 3 hours away. Since the oil service light indicator was not “on” they refused to complete the oil change under “free maintenance contract”.