I'm looking to get a 2nd hand civic deisel, probably around 06/56 plate, with a budget of about 9k. What mileage would you all consider acceptable? I'm unsure on how much is too much for a deisel of that age and what mileage they are expected to run well until.