Yo lo hice este verano pasado en mi 9 metros.
Quité la jarcia y la mandé a "clonar" a eromar. Iva incluido fueron unos 980€ creo. También se incluía el transporte que me lo trajo. Por quitar palo y volver a ponerlo pagué 120€ en total. Además otros 10€ de mandar mi jarcia vieja de muestra. Y otros pocos euros (pongamos unos 8€ porque los puse dobles) por comprar 4 topes de inox 316 para cable ya que los míos viejos llevaban unos prensados para el apoyo de las crucetas que no tenían capacidad de poner en los nuevos.
En mi caso palo de unos 10,40m con aparejo a tope.
Un obenque alto y bajo por banda en 6mm y un estay y back de 7mm cada uno.
Por unos 1120€ todo puesto (mentira, más viajes en coche a por cosas, equipo de viento, windex, cableados eléctricos, antena vhf,...)
Por cierto, me gustaban más los tensores viejos cilíndricos que los nuevos porque parecían más sólidos