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.