The term 'Marine, informally' can be summarized by two crossword solutions: 'LEATHERNECK' (11 letters) and 'Devildog' (8 letters). LEATHERNECK is a nickname for a member of the United States Marine Corps, derived from the leather stock collars that were once worn by Marines. The term Devildog is also a nickname for a Marine, originating from the German phrase 'Teufel Hunden' which translates to 'Devil Dog'. Both terms are used as informal ways to refer to a Marine.