Apparently it costs a lot more than that. His insurance company isn't cutting him a check, they are filing all of the work at a dealership. With parts, hardware, and labor; the insurance company will be eating ~$9500. He even asked about a hardtop, it would have cost him $3100 more out of his pocket...