Are you sure it's actually at Fort Worth? I know that they bought the one that's that's at USC's Information Sciences Institute, but I hadn't heard that the bou

Are you sure it's actually at Fort Worth? I know that they bought the one that's that's at USC's Information Sciences Institute, but I hadn't heard that the bought another one. As far as I know they've just paid for that one to be upgraded a couple times. The one at USC definitely isn't being used for anything past the research level.