Just to confirm, is it an 87 or 89? You mentioned 89 twice and 87 once
For reference sake, I bought my 87 cabrio last year with 37k miles and a fresh top end for 45, plus I spent another $3k following PPI for new ARP head studs while the engine was open for the top end, and a bunch of little stuff. I think I got a good price, but not a steal.