You already know the answer. If you want to continue playing used vehicle value roulette expecting that every vehicle will be valued like a Honda during a global pandemic, go for the 10k while you’re at it. Don’t pick anything German, you’ll lose.
Calculate $/mi of 12k vs 15k. It’ll be a fraction of what the over mileage fee is.