Hey everyone. Looking to purhase my first jeep and was looking for some opinions. The seller is looking for 7000 obo on an 88 wrangler. 134k miles. Small dent and small oil leak are the only issues. I know wrangler prices are high, even on older models, but is this in the right range?