The US defense industry will absolutely find a way to make the marginal cost of shooting the laser be $200k or more.