We took the roof apart to repair and this very old very sad gasket had to come out. Any clue what it is called? I went to campers world today and they were the least helpful bunch of humans I have run into lately. They told me the other campers world that isn’t open today might know more or be able to look it up. Great, thanks lol. I’d love to get the same sort but if one of you brilliant humans has a work around that will seal I’m happy to improvise!