thanks for the information! good to see that there might be some logic behind MINI saying not to change the oil until 9k.