pull down to refresh

Yes, I found this:
Loan size: $2.26 billion (including $1.97 billion of principal and $289.7 million of capitalized interest)
So that's probably neutral vs treasury cost. 1
I'm not sure if the ownership is long-term beneficial unless there is zero chance of adversarial office holders in the future, but that's another discussion.

Footnotes

  1. Also, for scale, this is about 17h worth of total US debt interest. By the time you wake up tomorrow morning, this has been spent.