Would you:
1. try to acquire the right gasket?
2. reuse the old gasket, with (a) or without (b) sealer?
3. make a new gasket from automotive gasket material, and use with (a) or without (b) sealer?
4. Some other solution?
Thanks in advance for your advice.
