8k sounds fair, considering the car has to be shipped. Be sure to ask the owner at what mileage the timing belt was serviced.
95 GST | So-Cal