You are very correct. In my rush to write my response I forgot to include the implied odds on the 7x hands because you are correct, if I hit my set I might overlook the straight. Thank you eejit for pointing that out. The answer is he had 7/8 off.