So Benny Binion ran the bar & restaurant while Pat Collins ran the casino? Or was that just the "official" story due to licensing issues?