Thank you John.

What should I use to clean the old grotty glue off thr rubber seal I wonder?

Thanks

David H