The amethyst from Las Vegas will go to Cheyenne Mountain.