[grwcfl537]

Several of the LBs and secondary were called out as Marine options.

[major_gaff]

I figured. The last Navy team to beat Army several years ago had mostly
Marines on the defensive side of the ball...they usually wear Marine unit
patches on their jerseys if they are going to the Corps...like wise for the
Sailors, but I didn't notice if they had them this year.