I don't know if anybody knows this since(unfortunately) we have never beaten Texas, but, for Rammer Jammer after the game(hopefully we will be singing it(, does anyone know if it will be Hey Horns or Hey Longhorns? I'm going to be there and it will be my first Rammer Jammer(hopefully), so I'd hate to screw it up!