And.. looks like there was an update on the valuation from Bloomberg: Aggregate over 100B, but less than 113B due to some mingled ownership.

https://archive.is/esoEN