Hola "Nova" :),
Yo estaba casi decidido a optar por la tercera de tus opciones. Dejarlas y cuando bajen a 8,05, o a siete y pico, un par de disparos para dejar la media cerquita de los 8. Y a medio/largo plazo, vender. Ya subirían.
Ahora me planteo tu segunda opción, vender cerca de 9 para esperarlas más abajo. Aquí vas más al todo o nada: si vendes bien y bajan a 8, ojo, te quedas con un paquete estupendo a un precio estupendo (8 €, o incluso 7 y pico). Pero si vendes a 9 e y sigue subiendo en unas jornadas, te tiras de los pelos: en liquidez, pero sin ganancia, y con las acciones ya algo caras para volver a entrar.
En cualquier caso, si quieres un consejo, las dudas siempre van a estar ahí. cualquiera de las opciones que planteas tiene sentido, estaría bien planteada, y ojo que no has comprado a 11,50 €, tus precios son buenos, al menos para el medio/largo plazo.
Por eso, la decisión que tomes tomada estará: salga bien o salga regular, habrá sido meditada y tenido sentido. Así que hay que preocuparse lo menos posible.
Primero se piensa bien lo que se hace y una vez hecho, se deja de pemsar sobre ello.
Un saludo y suerte!