i don't think he was red shirted. in fact, i thought i saw him in a few plays when colt was taken out during one of texas' big wins.
colt was red shirted when vince young was the quarterback, and colt was able to play the four years.
i guess this answers my question... it'll count one against...