I think that 12 or 13k is high even for retail and that would be with a clean car fax. But I am no expert.

Hard to give advice about repairing it yourself without seeing the detailsl of the estimate.