Again I just flat out disagree. Team has no reason to sacrifice time and games like that.
And it does not hurt Hayes' development. He has LOADS of time on his side. His time as a full time starter will be here soon enough.
Now on another note, the league has to redo this "official height" crap. No way in hell Ingram plays anywhere near 6'7".
Just get a standard pair of shoes and socks and measure them all that way.