How much is a 400,000 mile E39 M5 worth?