I asked the body shop to replace that gasket and was told that the whole antenna was the only option. Hard to believe, so I am seeking an alternative to the OEM high $. Any guidance would be appreciated. Thanks.