I think it is possible that they have an F5 EFI they they just aren't releasing to boost sales of the F7, but I can also believe that they took a picture of the F7 and put F5 graphics on it for marketing and forgot to remove the EFI graphic.
What I really want is the 900 EFI. Sign me up for that.