 And Colorado Springs and our leadership fought very diligently to keep those in our hip pocket. And, of course, it was a big addition when Colorado Springs officially launched and got trademarked the moniker of Olympic City USA, if you remember. It's also huge that Colorado Springs and the state of Colorado has fought hard to keep the Space Command and now the Space Force alive.