Thanks. Good idea. The previous owner conveniently drew arrows pointing to the leak, and it looks like it's even been patched up before.