[Isomeer]

Wenn der unfallfrei ist und echte km hat, passt das schon.
Meine einzige, alternative Überlegung wäre einer der ersten SD aus 2011.

Die liegen unverhandelt bei ~16K und haben oft deutlich weniger km.
Für ein 3-4 Jahre jüngeres Auto (und einen ganz anderen Motor) finde ich den Aufpreis überlegenswert, zumal die noch in Kulanz-Reichweite sind.
Wenn der Deckel bei 10k liegt und festgeschraubt ist, ist der angebotene Mini aber sicher OK