Maybe I am missing something, but 4mm lens appears to be the default with a 2.8mm option, but I don't see anywhere to specify the option:
I have seen a number of cut/paste type errors. I would assume this is another example of that and that 2.8mm lens is not available.