Sorry to hear about your car, but it's good to hear that no one was hurt.
If I had to pick, I'd choose the 5-7k car. Or, probably I would pick out a 4-5 year old used car in the 7k-10k range.