How much does a battery pack cost to manufacture?
How much does it cost at retail?
Also there is the under armor which was damaged as well.
What else is required to remove and reinstall?
I could see a new pack costing about 10k retail, probably 7 mfg costs.
To remove and install a new one:
0: Lift car on Jacks.
1: Disconnect old pack connector at car.
2: Discharge old pack
3: Remove old under-armor panel
4: Remove old pack from car
5: Install new pack in car
6: Install new under-armor panel
7: Reconnect new pack to car
8: Run diagnostic tests
That looks like a 3 to 4 hour job minimum, with specialized equipment dealing with high voltage to me.
I think 13k is not a bad price at all.