Been there, done that in life. I get it to some degree. But I also believe in completing what you started. Did Gabe graduate already? If not, he didn't fulfill the latter.
I suspect that Iowa State has the typical minimum 30 credit requirement to get a degree from there.
Wow! Just checked the official Gopher sports site to check on his major (usually that's mentioned on the player's page) and his entry is gone! The other players entering the portal are still there. Guess they didn't waste anytime after it was confirmed.