@roger,
Well since we're off topic.. while putting, say, 5k in to a 5k car usually doesn't make it a 10k car, a well sorted car with service records that books for 5k should command a premium over an otherwise identical car of the same value.
Solve for x