"do you think it will be included"

That RBL (which slippery found) isn't scheduled to close until January. Unless GGR has some kind of formal commitment from SBI Market Caps, I don't know that they would include it in an SEC filing yet.

It is the kind of thing that I think GGR should be including in Press Releases. That shows significant progress in arranging financing. I wish we didn't have to go digging around for it, rather than reading it off GGR's website.