Maybe it is 100 extra miles, who knows. But my main point is to change battery when original one is too degraded and add, say, extra 10 years of life to your car. It may very well be worth 5-7k.
Per Elon's tweet- 'replacing modules, not pack' will be 5-7k.
How many modules are in the battery pack again?