Hi DOOM, thanks again. Yes, that's what I expect to see. I'm going to change the gasket soon, and will use hylomar blue in addition to the OEM gasket.
But a question: where was the oil coming from? Was it between the rocker cover and the gasket or the gasket and the valvetronic motor?