Just a note here...you do not need to have anyone take the headliner down. Don't let them tell they must. The radio fin comes off with "fishing line" worked front to back carefully; which does ruin the gasket holding it on.
Then to wrap the top, they need only work around the hole exposing the wiring. Best not to allow any rainy weather getting in there while exposed of course.
"Wrapping the fin" seems dicey...I had mine painted while off. Then reapplied with sealant. The rubber gasket OEM will be ruined. You could buy a new fin, unpainted, around 50$, paint it, peel off the paper and apply a new fin in place.
