'Everybody knows Notre Dame': Aura of Fighting Irish football not lost on Oklahoma State players