Known as: gasket air distributor