Possible xm antenna leak

I recently had a PDR job done on my 2015 tacoma's roof. A buddy of mine sat on the roof and dented it pretty good. PDR turned out really nice and actually cant even tell it ever had a dent. I washed it for the first time today since the repair and as I was drying it I noticed there wer some bubbles coming out from under the xm shark fin antenna. I looked as good as I could at the headliner on the inside and from what I can tell it doesnt seem to be leaking but, this was only a car wash, not a long period of time in the rain. Has anyone else ever noticed this on their antenna? Is this a reason for concern or is it fairly normal? I am not sure, maybe there is an additional gasket between the antenna boot and the hole that actually goes into the roof? Also, they went in through the 3rd tail light to fix it. I also noticed they didn't put the light back together properly. It looks like the gasket may be shot. Where can I pick up a new gasket for the 3rd tail light?