F-35って2000時間ごとに重整備が必要だと聞いたが、飛行時間で考えると3〜4年に1回くらいで良いのか?