Why cant I find a 951 in red in good condition in my price range!!!!

I have found 2 black ones between $7-8k but no red.
I found a red 87 for $10900 owned by a woman and shes the original owner. The paint and interior(black leather sport seats) look brand new (front bumper was resprayed because of chips), the clutch is new, waterpumps replaced, new timing belt and reset, new lower crank bearings, 144k miles, mobile 1 its whole life.
How much do you think this car is worth? I am going to look at it closely on monday, but I already know I cant afford $10k. The book value on this car is $6500 but I wouldnt expect to pay that little, but I think $10k is pretty steep.
------------------