The Ironbowl really a state holiday