People with deep pockets own the El Cortez $5. Somehow I doubt the Las Vegas Attribution will ever be questioned.
As an unknown the it is a $300-$400 chip, if that. As a Vegas chip, it’s a $3k to $5k chip