Exactly How Big Is the Military Market?