It's actually much less than that.
I checked through their starting 22. Only 10 redshirted. Out of the other 12, 3 were JUCO. So that's 9 guys that came straight from high school that didn't redshirt that are starting for Bama. If you include JUCO guys, they have more guys in their starting 22 that DIDN'T redshirt. And that doesn't even include guys like Yeldon, Mosley, and a few others who split time and didn't redshirt.
Then if you go back and look at how many of those starting 22 are from the state of Alabama, you get 10 starters and two or 3 that rotate in regularly. Out of those 12-13 guys from Alabama, 5 didn't redshirt. Yeldon, Nico Johnson, Dee Milliner, Vinnie Sunseri, Belue. And every one of those guys will be on an NFL roster by the time they graduate.
Bama gets the top talent every year, which is why they don't have to redshirt everyone. They get kids bigger, faster, and stronger every year, then coach the hell out of them. This is why it's so difficult to beat them. Even with all the experience we had on the field that had redshirted, they had more than half of their starting 22 not redshirt, and they smacked us around.