Best bet is to buy a gasket and measure it with a micrometer, the gasket is usually around the one to two dollar mark. In saying that though I have used all kinds of gasket paper over the years without issue.