All very helpful, everyone, thank you. @goldbrick, I found a 2017 battery pack at a nearby salvage yard for $4600 (even had a photo of the dash with the battery fully charged). I assume the install can be done either DIY or for less than $1,000 by a competent shop. But regardless, I'm going...