That's over their entire lifespan. While they just made $4B in earnings in a single quarter in Q3 2026, probably $30B around in revenue for 2026... They've definitely paid far more than their subsidies back in taxes over the years.