Oh right - because two of the possible straight cards are gone already. Therefor wouldnt 78s be the best because no straight involved would help his AA? Or would 56s, 67s and 78s all be the same?

Not like that half percent makes that much difference in the short term.