Called about that this morning (same thing, just got docs, no Bahamas stuff in there, even though the box says it should be).
I was told that they'd be available at check-in at the port... and that I should just wait and fill them out there.
Not that I wouldn't *rather* have it filled out ahead of time, but I'll live (just have to keep the kids occupied a few more minutes of "standing around time").