Something that hasn't yet been pointed out in this thread is that many shops, even insurance preferred one, routinely low-ball their estimates and then the actual repair cost balloons once the car is in for repair.
My wife's Cooper got rear-ended and the initial repair estimate was $1700 and the final repair bill was closer to $4,000.
Whenever possible the shop wants to repair your car rather than have it totalled... they get zero dollars if the car is totalled... so keep that in mind. You might really have to push to get the car totalled with a "reasonable" repair estimate so it's going to take a lot of effort on your part to make it happen... but it might be worth it since the repair cost will likely skyrocket after repairs start and as mentioned the car will likely be out of service for many months, up to a 1/2 year, over this incident.
Very good point there.
The numbers I posted so far are initial estimates from an inspection, and as you can see my post above this one, it's missing a LOT of damages and pretty much horseshit. Still haven't heard from the adjuster yet, if they don't offer total upfront probably need to take it to a Tesla certified shop and then go over all the damages together with them.
Hopefully it won't be a tremendous hassle.