I would just ask the dealership service department then you will know from the source.
What I picked up on was the one year oil change. I know you said it only had 10K miles but the max service schedule I know of for oil is 5K miles and I would be concerned that at 1 year you have oil that is degrading, losing viscosity, picking up contaminant and acids that can harm your engine. Oil does not last indefinitely just sitting in the oil pan.
Mini is owned and manufactured by BMW, and the car itself says to change the oil every 10,000 miles. When I hit about 9,000 miles I started getting on-screen notifications to schedule the 10,000 mile maintenance, and the car notifies the dealer of this as well so I started getting emails/texts from the dealer that the required maintenance was only xxx miles away. Sort of nice, but annoying as well to get this on-screen reminder everytime I started the engine after about 9,000 miles. FWIW, Mini uses the free regular maintenance for the first two years as a selling point, with good reason as such maintenance is undoubtedly expensive (I assume this because of how expensive BMW maintenance is), but in truth this only likely consists of two oil changes in the first two years for me, unless I drive this car a lot more in the second year than I did in the first. I intend scheduling the second oil change prior to the end of year two whether or not I have reached 20,000 miles on the odometer.