So which parts of the F-22 are made in TX?