What kind of gasket do you have 'in hand' right now?