[btian]

Closer to 18b than 40. Running costs are 1-2b a year.

[tristanj]

More like $25 billion since 2025, with $7 billion of spending in the past 3 months. Look at page 22 of the filing.