I think it would depend upon how much oil is leaking. When I have had head gaskets fail in the past, gas has leaked out under pressure; then one knows it really is broken. As long as it is running correctly, a tiny seepage of oil wouldn't worry me unduly, unless I was planning to take it apart for some other reason.