The devil from Austin will go to Cheyenne Mountain.