the head gasket is fine? as in what? if its stock, eh, id stay away unless you could buy it for half his price lol. if its already replaced, and properly, id dwindle him down a grand. i bought my turbo 87 for a little over $2k with 138k on the odometer.
sounds like a nice car, although NA, but its too much. id get that price down as much as possible.
if your looking for a very reliable car for the next 1.5 years, theres definitely other cars out there. only get this if you REALLY want it