With Oklahoma State changing its name from Oklahoma A&M in 1957, Mantzoukas also narrowly missed out on technically becoming the first OSU player to grace a jersey number above 55.