A 223 with appropriate magazine length would be a nice option too. Even with the 1-9 they like to use.