For sure they are well documented in the owners manual.
However, the idea of getting a $40,000 repair bill for a car is going to turn many buyers off. Tesla should cover it for the sake of their business. If Tesla was paying for these repairs I guarantee you they'd figure out a way to prevent the failure.