I paid $16k (probably a little high) for an 87 hardtop with 60,876 miles. Completely cherry except for the factory paint job. All fabric excellent condition. The ONLY thing wrong with it is the windshield washer pump is bad. Bought it from the original owner who had all the books & owner's manuals, dealer pamphlets, service records, window sticker, tons of magazines & ATR newsletters, and ALL of the original equipment boxed up if any had been replaced. I kept a copy of the original title from when he bought it. Came with both the original chip and the recall chip as well.
Just a point of reference for you - I'm sure other guys smarter than I am will chime in. Sounds like a great car.