How much is the ‘big guy’s’ cut, again?
Fedgov not involved. It has always been privately owned and loaned.