My car went in for the oil leak to be fixed, just had it back, you can see the bit they have done around the rocker cover, has red stuff coming out where they have sealed it, but it still looks as though there is going to be oil leaking form the exhaust manifold, where it puddles? Is it just the rocker cover or does this exhaust manifold need doing as well?