Nope sure don't recall one. EGR coolers yes I have seen many. Always rule it out though before pulling the head. Most compressor failures end up with either fluid in the tanks or a performance issue first. Login to read more.