Others might quibble with your cost number
https://www.currentautomotive.com/how-much-does-a-tesla-model-3-battery-replacement-cost/
Looks like that’s parts + labor. Don’t know how that breaks down between the two. Musk quotes prices even lower than $5k - $7k range. Tesla has a China battery factory that just came online that may be reducing costs. I haven’t run across anyone who has actually replaced the battery.