Has anyone been on Interstate 35 in the Texas/Oklahoma region today? Any idea what the road surface is like?