Over 11 years, they exceeded $3 trillion in revenue, actually. I knew it was a lot, hadn't actually looked at the totals before. 2015-2025 sums to $3.429 trillion.