Looks closer to an 88-91 model. Get a better pic of the tag as the model # will tell you exactly. That yr would have used an external TNT. Better to buy an aftermarket unit for it.
Well the buyer got a good deal. The electric start bracket was worth more than he paid for it. Those motors on the healthy side should be about 140 psi.