The more I delve, the more I find wrong! Someone has drilled holes in the intercooler to retain the plastic pipe. Everything is drenched in oil, so I suppose I'm going to need a replacement intercooler, along with the plastic pipe. I hoped just to replace the o-rings.