These aren't in TCR that I can see. I wonder if it's due to something in the past regarding the Club? I seem to remember he was a member a while ago.

Still seem to be part of gaming history to me and should be listed. Nice picture of the old El Cortez as well.