Does bin Laden's death change anything for deployed airmen?