Didn't Okie State burn Mason Rudolph's Redshirt last yr