Problem with Thunderstruck, Highway to ..., Rock You Like a Hurricane etc is that they'd never be ours
Same thing with Immigrant Song by Led Zeppelin and Seven Nation Army. If they're one of the first songs you think of for this, it means their widely enough known that they're frequently used elsewhere and wouldn't be a BYU thing, so much as BYU jumping on an easy choice.
Have to find a good less common one so that it becomes BYUs song