No, Im too lazy. But off the top of my head, just in RH HOFers in my lifetime, I can think of Pedro Martinez, Tom Seaver, Catfish Hunter, Greg Maddux, and Bob Gibson all 6'1" or less. It's just my opinion, but height would be low on my list of things that are important in a pitcher.