Wasn't a lot of that huge machinery warehoused in a mined-out salt mine mountain somewhere? I am thinking the name might have been Cheyenne Mountain, but I can't remember for sure. Not sure if the name is correct though.