Of course they're exporting it... if you buy it as part of the $150 million dollar package that is the F-35. It's still the same customer buying it (Norway)