Thank you Alex. As I suspect the back stuff that got squeezed out is the broken sealant and that there is no gasket part number for that little cover.
Any chance you know how much torque to apply for those screws/bolts. I tried to use a beam type torque wrench to loosen it so as to see how much torque it was used to tighten the screws. It seems to be very low, I can't even get a reliable reading out of it. It seems to be around 15-20 Nm. Does this number make sense?

steve