I didn't even think of that, but yes! If Alice had taken out a $25,000 loan five years ago at a 10% interest rate, she would have had to pay $37,500 total over those five years. That's a lot more for a 25k car, but that's interest and taking out loans. Her $25k worth of BTC would have gone up by 1,0026% (from $8,902 to $100,186 currently). I think she'd be okay with the extra car cost.