It became a non-issue because they offered the $5k refund, which I took. The car was repaired and I made a Diminished Value claim against the at-fault driver, which was paid by their insurance.
That's a good move on your part. For me however, I believe Tesla has ended the $5K refund earlier this year...