Update: My buddy had it sold, but the buyer couldn't come up with the money. The CR now has 3011 miles, and had the clutch slave piston/seal kit installed to complete all the "these things always need to be looked at".
He was going to let her go for $6800, so that's the new price.