这个机库里有20架F35吗，据说还是个维修机库。