 They haven't used $8 billion, but that's how much money is available to build these. And they've only built seven charging stations. And he says they're going to build a half a million of these things by the end of the decade. Well, if you look at the calendar, folks, that's only, what, five and a half years left? Because we're about to hit 2025 in January. So we got five and a half years left to build 500,000. So they would have to drastically increase their rate of production here.