Why is the marine corps more restrictive with firearms than the average 18 year-old in Texas?