yeah $7k is pretty good for a 4age ae86 with coilovers and strong diff and next to 0 rust im guessing if he got a re spray he would have got the rust fixed
if the motor is fucking a big port is like less then $500
i would do it if it was me
but when you do fix it dont think its going to be fast 4age's do go alright but there nothing amazing