So I'm talking with a dealer about 4 year old model s. Carfax says ~40k miles and this is what the dealer is listing. But the odometer on the tesla screen says ~20k miles. The vin on the screen and the Carfax matches. dealer has no idea why and is pricing the car based on the higher miles. Any idea what's going on here or if I should be concerned?