He redshirted in 2012, so I assumed he had been measured for that year's roster. You're probably right that he could be shorter than 6'7", though.
If Jimenez and Nwigwe are listed at 6'4" on the fall roster, I'll give you ten Schrute bucks as penance.