The air flow speeds up in a venturi, as in a carburetor. In the throttle body, or in the IAC, it flows around an obstruction, but the venturi effect is not nearly as strong as in the throat of a carburetor. The cooling is NOT simply from the air speed, it is from the lowering in pressure. As air flows through a venturi, the pressure lowers, and from the gas laws, the temperature must also decrease. In a carburetor, the gas is pulled into the air stream in the venturi, and the evaporation of the gasoline provides additional cooling, which can lead to icing. The choke on a carburetor is above the venturis, and further lowers the pressure, helping the fuel evaporate, and possibly increasing the cooling effect. I have had icing on a car with a carburetor. But I've never had icing at idle, only at cruise. At idle, with a carburetor, the butterflys block the venturis, and reduce the cooling effect. Since the throttle body on a car with EFI has no venturi, the cooling effect would be less. Since the fuel evaporates in the intake ports, not in the throttle body, that additional cooling has no effect on the throttle body. And when you start the engine, the coolant in the throttle body is at the same temp as the metal of the throttle body, so if you were going to get icing, you would get it right then, before the coolant starts to warm up. So, again, high tech, low tech, any kind of tech, LOGIC leads me to the conclusion that the coolant lines are there for the purpose stated in the shop manual. They help to get a quicker warm-up.