Known as: gasket charge air cooler