FWIW, I finally heard back from the seller. The actual asking price is $13,000 and he is "in no hurry to sell". Not unreasonable if the car is what he says it is, an "original" car with the wrong wheels, alternator, those hideous driving lights, etc.