[wdfifteen]

This is sounding expensive!
I just talked to my friend and got some more information. All he's ever done to the car himself is wash and polish it. He has always had it serviced by the same dealership he bought it from, and he has always talked to the same service manager. All the car's records are at the dealership. He gave me the service manager's name and told me he would call the guy and tell him to expect my call.
I'm going out to see it Monday.