I would think most, if not all, ARM use by NASA would be through their suppliers. Would they get a special provision in their ARM license? Would they bother doi

I would think most, if not all, ARM use by NASA would be through their suppliers. Would they get a special provision in their ARM license? Would they bother doing the administrative work needed to report “we created x million CPUs, of which y thousand went to NASA”?