Planning to get back to this task soon. Looked at the filter kit, and the gasket is a simple rubber one. Because it's rubber, does it need RTV as well?