The only details I know is that a battery is wholesale for about $14,000 and labor to swap it brings the price to $28,000 from the one case posted on the forum. So somewhere under $14k, likely $7k labor would be a fair guess. They have to drain coolant, drop it, discharge it, open it, swap the parts, and recharge and seat/seal and re-fill coolant. Heaven forbid they get a leak or cell not balancing right.