The aftermarket one:
Is at 7 mm. I feel more confident now.I did check the manufacturer site and the amazon postings and several other ford owners already used this one.
My nephew made a good choice.
My apologies for the multi post as it wont allow multiple pictures on one post.