Ian F said:...and sold for $5,301. Could be better, could be worse. Hard to really say without a detailed inspection. So many variables with this one. A decade ago this would have been insanely overpriced, but today... maybe not. Personally, I'd rather spend a bit more and get a car that doesn't need so much.
Amen to getting a finished car.
I bet $15k could get you a really nice Mini. While that might sound like a lot, I bet you could also get all of your $$$ back if you sold it within 5 years. That makes it a very cheap Mini.
Pete