The casino is called RAMPART. It is a lot like a very elegant but neighborly casino. A couple of great restaurants. Chris (wife) and I were there two weeks ago. Summerlin Pkwy at Rampart St.
Very nice prpprety. 3rd incarnation of a casino on that site!