A friend is looking to sell his 1997 840, 89,300 miles. Engine is in very good condition. Leather driver's seat and front passenger seat need cosmetic work from wear/tear. I know nothing about 840's. Any thoughts on 840's in general and on price? Edmonds indicates around $8,500.