Actually, he's only got about 500 Imperial Guardsmen.  :D<br/><br/>But they're storm troopers!<br/><br/>(The rest of the boarding marines aboard naval ships tend to be naval armsmen with void sealed flak armor and shotguns, as well as pistols issued to each boarder)