Miguel's insurance company will replace his car if repair costs exceed 80% of the car's value. The car recently sustained $6000 worth of damage, but it was not replaced. What was the value of his car?