I didn’t graduate until 96. If you played against the football team in 83, I know everyone on that team, my uncle played “ Mike” linebacker for them. They also had another linebacker that ended up playing for Miami, Danny Mariscal. He’s also family to The Patchans.