By the numbers, they had 105 hours of scarcity pricing near the $9,000/MWh offer cap and roughly 50 GW of load. That equates to $50 billion being paid for power over 5 days. You are right that some, likely more than half, was hedged with power swaps and heat rate call options (HRCOs). This...