Any other thoughts on replacing the oil pan gasket and timing belt? Do I need to pull the engine to replace the gasket?