Petro played football for the Pittsburgh Panthers under head coach Jock Sutherland and later was an assistant football coach for the Panthers from 1950 to 1972. He was also the Assistant to the Athletic Director from 1973 to 1984. His Pitt nickname was "the Rock," based on Petro, a derivation of the Greek word petros, which means rock. The Pitt Panther mascot's nickname is ROC, in Steve's honor.[3]