I paid $8000 and shipping for mine, it's a 79 and there are differences between this one and mine. I think the glass is thicker and the keel is fared, no right angle at the hull/keel joint. I've heard of keel problems so if you jump, be sure to check for cracks along that joint. Mine needs all the work you've described. Got stainless ports at a big savings off e-bay, but all you need to do seems to be the clean up. Look at sails and running rigging just to be sure. I say make an offer well below asking and I wish you luck. They sail great, I've been told !
"Ulysses" - Alfred Tennyson