Also, one factor to take into consideration is that the 9GW figure assumes that the refuelling is uniformly distributed throughout the 24 hours. That won't be true, I could believe peak usage being double the average. If that's true, the worst-case 9GW isn't what you need to work to, it's 18GW peak. If we go with the 2.6 billion vs 8 billion L ratio as telling us the true power requirement, that gets us back up to 2.925GW average, 5.85GW peak.