Does anyone know who makes the air conditioner sea strainer for the 2016 Oceanis 45? I tore the gasket when I opened the strainer (it was stuck to the metal and tore as soon as I turned it.) The dealer says they can't get the gasket, only the whole strainer!