BTW, it seems that it is the top smaller cover that is leaking, so I plan on just doing that one for now, hence the question about oil.