Oh well, there goes another $100 million. Maybe it saved the taxpayers from the estimated $1.6 trillion lifetime cost of an F-35.