I replaced the gasket probably 8 years ago and don’t remember if I re-torqued them or not. I’ll do it this time and see what happens. What should they be torqued to?