AL.com - How many Bama students should be from outside Alabama?