I tried out a few options with an old seal and the solution I will use for the installation of the new seal is the following:

I filled both notches with glue from a hot glue gun. After the...