I've never touched the EGR before - do I need to replace a gasket or anything when I pull it out?