sounds reasonable.......4 years ago i paid 6800 for a clean 92 hatch with 80k miles on it,,,,,,,,,,,,,i paid 7300 for my notch a few months ago with 78k miles , and I think i got an awesome deal. Just depends on what you want. My notch is bone stock.