the top end gasket is in its packaging