I am interested in a 79 euro 635. It's a very nice original car, except for 17" wheels. It has 115 k miles, full history and records, and has been recently serviced by a good mechanic who I know. The asking price is $8900. Any thoughts on what it's actually worth.