F-35のアップグレードはタダなのか?