This is from a pro EV website. Seems that prices are in the ballpark.
Bottom line: the cheapest estimate for an out-of-pocket, uncomplicated battery replacement on the Model S should cost about $12,000-$13,000 for the battery, $100-200 for miscellaneous parts, and $500-600 for labor. This puts the grand total at around $13,000-$14,000 for a full Model S battery replacement.
https://www.findmyelectric.com/blog/tesla-battery-replacement-cost-explained/