My bill of sale (in Canada) shows the car price separate from the battery price.
It was the first time I'd seen a value for the battery broken out from the rest of the car.
And it was shockingly (ha!) lower price tag than I'd have expected... something like $11K for 85kW pack.
Don't know what regulation that's calling for this, or system that is being gamed, or what situation it helps to have the car price showing as something different, and lower, will battery hanging out there on the price sheet as what, a "non-car" item? Warranty laws? Insurance values??
If it wasn't Canadian law asking for the separation, then we have to assume it's to Tesla's advantage to show it separate. And maybe artificially lower than it's actually worth.
Maybe when the tractor battery fails, they say, its value is $11K and use that as the negotiation point for de-rating, etc... having you buck up the difference to get a replacement pack. In my mind, I'd think it would cost more like $20K to $25K.... and that's just a wild guess.