Have decided to bite the bullet, and move forward with the $11k repair. If logistics were a bit easier to get the battery repaired (towing car out of SS, travel, time etc...), I would have gone ahead and given that a go. I've asked for the diagnostics from Tesla, they finally agreed, but it will...