Cuando compre mi Del Sol venía con la antena partida y se la cambié. Le puse una eléctrica universal que compré en una tienda de electrónica. Seguro que tendrás que hacerle alguna cosilla para adaptarla al embellecedor que lleva por fuera, pero nada, poca cosa.
Para acceder a la antena tienes que desmontar el panel lateral que está detrás del asiento del conductor, pero para acceder bien al hueco donde está la antena vas a tener que desmontar también los baúles de detrás de los asientos. Pero no te preocupes es fácil. Además yo aproveché para cambiar algún clip que estaba roto y arreglar la cerradura de unos de los baúles que no abría.
Una vez tengas esto desmontado ya vas a ver los cables que van al motor de la antena. La antena está anclada por el motor a un soporte metálico mediante un tornillo. A su vez este soporte está anclado a la chapa del coche mediante otro tornillo.
Ten mucho cuidado con un detalle. El embellecedor de plástico que ves por fuera del coche tiene una especie apoyo de calamina (o algo así) por el interior de la chapa. Si sacas la antena ese apoyo se puede caer y quedarte perdido. A mi se me ha caído por un hueco y no lo he podido recuperar. Ten cuidado al empezar a bajarla e intenta coger con la mano esa pieza que te comento. Yo tuve que pedir una antena manual por Ebay para poder terminar la instalación de la eléctrica, por no tener esa pieza que te comento. Además es muy importante, ya que hace tope por dentro de la chapa y permite que la junta del embellecedor exterior quede apretada contra la chapa y no te entre agua.
Por lo demás no tiene mayor complicación. Eso si hay poco sitio para maniobrar 
Por cierto, si quieres una manual yo tengo una nueva. Le falta el embellecedor y la pieza de calamina que utilice para instalar la eléctrica, pero si tu tienes estas piezas en tu coche, y no la pierdes como yo te vale 
.
