Looking at parking in Terminal B garage for an upcoming trip out of IAH. Looking at their booking site, it shows max vehicle height of 6'7" and my stock F150 shows to be 6'5". Anybody with personal experience of parking a pickup truck in the IAH parking garages?