Does Lark still have a redshirt year available?

Doman said over the summer that lark can make all the throws, and can run like Riley. At this point in the season, wouldn't it be better to redshirt Lark? Or has he already used a redshirt year? The way Nelson plays, injury could happen. The way Heaps plays, mediocrity could happen. Lark could get his chance much like Doman did.

i believe he used it before his mission

correct