He redshirted his freshman year in 2018.
He played enough games in 2019, 2021, and now 2022, to have used up three years of eligibility.
2020's season is his COVID mulligan year, so it doesn't count as a used up year. The rules stated that whether or not you played enough games that year, it wouldn't use up a year of your eligibility. It was a "use it or lose it" type of gift.
Thus, he is eligible for a 6th year without a medical exemption.
That being said, he only played in 3 games in 2020 due to injuries, so he could qualify for that 6th year anyways, if he were granted such a medical exemption.
Still, it's entirely up to him, and I wish him the best either way.
Link: https://www.sports-reference.com/cfb/players/braden-lenzy-1.html