I need to do an oil change due to a leaky clutch cover, I'm going to change the gasket as well. I've just remembered I'll need a new sump plug washer, what size should I get?

Thanks