Ok just got off the phone with the service advisor, and the rest of the story comes out.
It's not the oil-pan gasket that has failed like he told me the first time. It's the pan gasket for the HPOP.
Yes, the very same HPOP they replaced 3 months ago....
More to come.....