Yo cambié mi antena por una tipo "gps" es relativamente sencillo pero trabajoso, yo me pegué 2 horitas pero porque tuve que hacerlo todo con cuidado de no romper nada y sin saber cómo era:
Los 3 corchetes que dices se quitan tirando, haciendo palanca con un destornillador, no deberían romperse pero si se rompen se compran y listo (barato).
Una vez quitados, tienes acceso al cable de la antena pero ni de coña vas a poder desenrroscar la tuerca de la base porque está más adentro y si intentas meter la mano vas a doblar el techo y se te va a quedar una arruga marcada de por vida.
Ahora viene lo bueno, tienes que desmontar practicamente todos los paneles laterales del interior desde el portabultos hasta llegar hasta la luz del centro del techo dentro del habitáculo, es decir todos los paneles desde atrás hasta el centro, la razón es que éstos paneles son los que sujetan el techo y están colocados en plan "puzzle" de forma que para quitar unos ántes tienes que quitar otros y se empieza desde el portabultos.
todos éstos paneles estan cogidos por dentro con "grapas" de plástico de dos colores, azul y blanco, no sé por qué, pero mi experiencia me dijo que las azules se rompen y las blancas no, te puedes ver muy muy negro para desanclar las grapas porque es a presión y hay que hacer mucha mucha fuerza en posiciones super incómodas.
Una vez tengas todos los paneles sueltos tendrás que quitar las manecillas para las manos del techo de los asientos traseros y ahora sí llegas hasta la tuerca con holgura suficiente para no doblar el techo.
Te digo que la primera vez vas a hechar la tarde para cambiar la antenita, ya una vez sabes no hay problema.
Pd: la antena no la compres en la casa ni loco!!! 188€??? la mía me salió 20€ y le da 20 vueltas a la de serie.
La mía es como ésta pero de mejor aspecto, es exactamente la que llevan los audis nuevos:
http://www.101racingshop.com/epages/62515576.sf/es_ES/?ObjectPath=/Shops/62515576/Products/%22ANTENAS%20GPS%22