I think the majority of the $900 million was paid in a one-time dividend.
So don't think it is in Wynn's cash register any more but I gather they feel confident that they have good cash flow or would not have paid it.
[Non-text portions of this message have been removed]