Does anyone know the gasket/washer size for the oil drain plug? My friend seems to think it's either an M12, M14 or a 7/16"?? Asking for my friend. Thanks.