Thanks for all the comments, guys.
When my BMW got totaled (rear-ended while sitting at a red light) I had some insurance money from it so it really only cost me $3000 but the price was 11k total for this car. One owner, well-maintained with records (owner is a 90's Japanese car enthusiast, and...