It's possible that different airlines use different check digit algorithms. The sources I checked all said they use Mod 7, but I don't think anyone can speak for all airlines and a given airline can change its formula at any time.