My Mini owner's manual doesn't say at what specific mileage mark to change the oil. I've seen some online comments that say 10,000 miles is typical for a Mini. The manual seems to indicate that the car will -- by a mechanical display -- let me know when to change the oil. But 10,000 miles seems like an awfully long time span before an oil change. And depending on a mechanical display seems risky if the display malfunctions. This is my first Mini and I'm confused. Should I get the oil changed sooner than 10,000 miles? Thanks.