At the last oil change, the Jiffylube guy told my daughter that we had a small oil leak. I noticed some oil grunge on either end of the seal between the top of the engine and what comes below. Is this the head gasket? Ballpark figure for what the dealer will charge to replace? This car never needed oil between changes. This weekend there was no oil on the stick (3K miles since last change). I added a qt and it brought it most way to the top mark. Phew! She's got 126K miles.