The question is, does a Javelin missile really cost $80,000? Or...