Ok, well, I went to a local machine shop and had the oil pan welded. It seems to be fixed. Now, I'm wondering if I can get away without changing the oil pan gasket (#9:
http://www.realoem.com/bmw/showparts...59&hg=11&fg=10). I don't have a new one and would like to save myself some time if possible. It didn't leak before.