I have a lot of articles on Benny and gambling in Dallas. Several tells of his fued with, can't remember his name, but I think his nicknme was The Cat. There were several murders over who was the boss of Dallas gambling.
Doc sent them to me. One day I will drag them out of storage and read them again. He has been researching Dallas gambling for a long time.