Well, as expected, it was not immediately apparent where the leak is/was. They called me around 4:45 yesterday to let me know that they had fully cleaned the engine and drove it a bit to see if they could produce a leak, but didn't find anything. However, they actually provide a free oil change...