Back in the 70s I had a 911 that had a oil leak....no puddle just a stain.... I took it to the dealer and ask what to do about it....to my surprise the Service Manager said...it is about $4000 to reseal a 911....oil is cheap....
My current mechanic said that if I go out to drive my JPS VW and there is no fresh oil on the garage floor....don't start it up....it is out of oil.....
I have never owned a air cooled car that didn't leak...