He grew up a BYU fan. His dad played football for BYU. His brother played football for BYU. He wanted to play football for BYU but wasn't good enough and ended up having to go JC. He wanted to play football for BYU again after JC, but BYU didn't want him so he went to Oregon State.
Then he was BYU's defensive coordinator for 2 years, and head coach for 11 years. BYU was part of his blood for his entire life.
If being a lifelong fan of BYU, doing everything you possibly could to play for BYU, and then coaching at BYU for 13 years doesn't make you a BYU guy, what exactly makes a BYU guy?
Was Lavell a BYU guy?