I'd just shoot for replacement cost on the car, say $6,000, and put the rest toward the mortgage, assuming your emergency fund is already taken care of.