Question...

I paid $6000 for mine in the SF Bay Area, also all original. She's a runner, needs a clutch and some attention. Unless yours is pretty nice, $9000 seems a little high to me. Best of luck!