Cool, gives me an excuse to go to the dealer now. How about the antenna gasket? I know this site sells it, but it may be more cost effective to buy it there too.