Can anyone tell me if the Red Lion in Elko was part of the property that was sold to the Double Tree properties. And if so when and do they now have a casino there? Thanks Don