use .015" number. mr.gasket has a .020" gasket if needed; IIRC #1135g.