Op defined heights really well I thought. Put some work into it.
Looked more to me like good average general player height info without specific reference to pitchers to me?
The OP had no info on TamiAz's or GunnerShotgun's idea of short pitchers. We took the thread on a tangent and morphed from height of players to height of pitchers.