Dad's when he was active-duty was firstname.lastname2@base.af.mil, the 2 because there was already a Firstname Lastname with an email associated with that base. So I'm gonna go with samantha.carter@cheyenne.af.mil. Unless it's sgc.af.mil. Don't know how Pentagon addresses differ, but my money's on pentagon.af.mil.