For $1200, he can probably get a complete AR15, a 9mm glock magwell adapter and a 9mm upper. "In these times," ammo might be hard to get so 223 and 9mm are easier to come by since they're so popular. If he only wants a 9mm, then 16" would be my recommendation. It can go out to 100 yards easily...