I do not remember.

Maybe someone has a Factory Assembly Manual and will look up that part/assembly. (and get lucky, if it shows the seal)?