サイズの問題ではなくテンペスト用のエンジンが形になるころには
とっくにF9エンジンがものになるかどうかも確定している
時間軸の問題でテンペスト用のエンジンがF9のバックアップになんかならない