Water from A/C dripping on manifold

[smoedog]

So I've noticed that when I shut my truck off I can hear water dripping and boiling off on my passenger exhaust manifold.

I just got the truck back from the dealer where they replaced the plugs and cats due to flood damage and am wondering if they forgot to hook up a drain line or something.

 

[flyin]

I think that there was a TSB for ac water dripping on the o2 sensor. I only think I did it once and it wasn't fun. It was some kind of rubber 90 degree tube to route the water away from the monifold/o2 sensor