I know it's too late now, but did you guys really convince the OP that from the farthest reaches of Terminal 3 to the farthest end of Terminal 1, that he could walk leisurely and make it in 15 minutes? And he's getting into ORD at about 6pm - peak time for crowds?

I would have said a leisurely half hour!