my friend paid $9k for his 92 all-trac so $7500 isn't that bad.although his had both the carlos saint front bumper installed and the stock one came with the car.

good luck with the sale 5th gen all-trac's are getting harder to find.