I wouldn't call it much of a redshirt year if he's not permitted in team activities like practice, learning the playbook, team chemistry, even weightlifting. I may be wrong, but it's hard for any 18yo to have enough discipline just by himself to remain in top football shape with no football activities.