The garage door ripped off the shark antenna this morning. Luckily, it looks like the plastic part stayed mostly intact. My questions:

Has anyone tried to repair this? Does it require taking out the headliner?

I tried searching the board with no luck. TIA.