That is too high, you can buy an undamaged one for that amount.
Depends entirely on what was damaged and how bad, and the skill of the repair.
Ive purchased and repaied wrecked vehicles before, usually if a vehicle is more than 4 yrs old and gets bumped hard enough to blow the airbags, the ins co will totall it and auction it.
Since the ins co has to buy the bags from the stealership at $1700~ each, replacing the blown bags can easily cost more than 50% of the cars value.
Individiual owners can, in most states replace the bags with bags from other wrecked cars that didnt get discharged, for about $250 each.
Check the title carefully and a CarFax, and look at the police accident report, and pictures taken before the repair started.
If the seller doesnt have any pics or any details, skip it at any price.
Most states pics to get it inspected afterward, so the inspector knows what areas to concentrate on, so if the seller claims he doesnt have any, he is lying.
Most states also do not allow individuals to repair salvage title cars, and get a clean title, you must be a liscensed body shop. If so, the title may not be clean & legal to put back on the road.
I Always take pice before the repair, so if/when I sell it the buyer can see that it really wasent that bad of an accident.