Comment by joelccr

Most US military email is @mail.mil, if I recall correctly. Still a huge change!