Antena de teto - Sensor?

Bom dia pessoal. Sou novo no fórum e me cadastrei pra ajudar um amigo.

Ele possui um City 2010, e ao sair da garagem do prédio, o portão eletrônico desceu, arrancando a antena do teto.

Ele foi numa loja de som e queriam cobrar o valor de R$ 1.100 reais pra consertar, alegando que a antena possui um tal sensor. Ele ficou desconfiado.

Alguém sabe se procede tal informação? Ele ficou de me enviar fotos, assim que chegar coloco aqui.

Obrigado.

Fotos do estrago:

[Você precisa estar registrado e conectado para ver esta imagem.]

[Você precisa estar registrado e conectado para ver esta imagem.]