I don't know about BYU coaches, but I think HS mascot names are dumb and not
worth knowing. I can't imagine that being a deal breaker for a recruit, and with as many HS kids that recruiters visit (from any school, not just BYU), I'd be surprised if they all know the HS mascots of the kids they were visiting.