My guess on battleship crew numbers was based on their size. They're bloody BIG. Look at all those windows! So you have a flying hulk the size of the Empire State Building and only 12 real people crewing it? The dockable NPC battleships have about that many NPCs standing around, not including those on the bridge, engineering, etc.
